Cover Image

Logic and discrete mathematics: a computer science perspective/

Main Author:	Grassmann, Winfried Karl
Other Authors:	Tremblay, Jean - Paul, Tremblay, Jean-Paul
Format:	Book
Language:	English
Published:	New Jersey: Prentice Hall, 1996
Subjects:	Computer science > Mathematics Mathematics Computer science Logic Calculus Computation Computer programming Computer programming languages Computer programs Databases Systems design Computer logic

Similar Items

Logic and objects/
by: McCabe, Frank G., 1953-
Published: (1992)

Logic programming : formal methods and practical applications /
Published: (1995)

Foundations of disjunctive logic programming/
by: Lobo, Jorge
Published: (1992)

Temporal logic : mathematical foundations and computational aspects /
by: Gabbay, Dov M., 1945-
Published: (1994)

Algebraic framework for the abstract interpretation of logic program/
by: Kemp, R.
Published: (1991)

Computation as logic /
by: Lalement, Rene
Published: (1993)

Computation as logic/
by: Lalement, Rene
Published: (1993)

Program development in computational logic : a decade of research advances in logic-based program development /
Published: (2004)

Foundations of inductive logic programming
by: Nienhuys-Cheng, Shan-Hwei
Published: (1997)

Explicit substitutions/
Published: (1990)

Parallel and constraint logic programming : an introduction to logic, parallelism and constraints /
by: Vlahavas, Ioannis.
Published: (1998)

Logic, algebra, and databases/
by: Gray, Peter M. D., 1940-
Published: (1984)

Introductory logic and formal methods /
by: Heath, David
Published: (1994)

Proceedings : sixth annual IEEE Symposium on Logic in Computer Science: Amsterdam, The Netherlands, July 15-18, 1991
Published: (1991)

Parallel logic programming in PARLOG: the language and its implementation/
by: Gregory, Steve
Published: (1987)

A temporal logic of actions/
by: Lamport, Leslie
Published: (1990)

Lambda calculi : a guide for computer scientists /
by: Hankin, Chris
Published: (1994)

Temporal logic of programs /
by: Kröger, Fred, 1945-
Published: (1987)

From logic programming to Prolog
by: Apt, Krzysztof R., 1949-
Published: (1997)

From logic to logic programming/
by: Doets, Kees

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Logic and discrete mathematics : a concise introduction /
by: Conradie, Willem, 1978-

Logic for applications
by: Nerode, Anil
Published: (1997)

Natural language understanding and logic programming : proceedings of the First International Workshop on Natural Language Understanding and Logic Programming, Rennes, France, 18-20 September, 1984 /
Published: (1985)

Logic program synthesis and transformation : 6th InternationalWorkshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996 :proceedings /
Published: (1997)

Arithmetic and logic in computer systems /
by: Lu, Mi
Published: (2004)

Logic programming and soft computing/
Published: (1998)

Arithmetic and logic in computer systems/
by: Lu, Mi
Published: (2004)

Inductive logic programming from machine learning to sofware engineering
by: Bergadano, Francesco
Published: (1996)

Concepts of programming languages/
by: Sebesta, Robert W.
Published: (1996)

Logic Programming '89 : proceedings of the 8th Conference, Tokyo,Japan, July 12-14, 1989 /
Published: (1991)

Solving higher-order equations :from logic to programming /
by: Prehofer, Christian 1967-
Published: (1998)

Mathematical logic : foundations for information science /
by: Li, Wei, 1943-
Published: (2010)

Parallel logic programming /
by: Takeuchi, Akikazu, 1953-
Published: (1992)

Parallel logic programming /
by: Tick, Evan, 1959-
Published: (1991)

Parallel logic programming [Takeuchi]/
by: Takeuchi, Akikazu
Published: (1992)

Parallel logic programming/
by: Tick, Evan, 1959-
Published: (1991)

Parallel logic programming /
by: Tick, Evan
Published: (1991)

The Haskell road to logic, maths and programming /
by: Doets, Kees
Published: (2004)

Fuzzy-logic-based programming /
by: Chang, Chin-Liang, 1937-
Published: (1997)

Cannot write session to /tmp/vufind_sessions/sess_20ci612p56sscl0rdocb8h0j52