Cover Image

Logic programming : functions, relations and equations /

Main Author:	DeGroot, Doug
Other Authors:	Lindstrom, Gary
Format:	Book
Language:	English
Published:	Englewood Cliffs, N. J. : Prentice Hall, c 1986
Subjects:	Logic programming Logic, Symbolic and mathematical Electronic digital computers > Programming

Similar Items

Principles of logic and logic programming/
by: Μητακίδης, Γιώργος, 1945-
Published: (1996)

Principles of logic and logic programming/
by: Μετακίδης, Γιώργος, 1945-
Published: (1996)

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

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

The Deductive foundations of computer programming
by: Manna, Zohar
Published: (1993)

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

From logic to logic programming/
by: Doets, Kees

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Handbook of logic in artificial intelligence and logic programming /
Published: (1996)

Handbook of logic in artificial intelligence and logic programming /
Published: (1993)

Logic for computer scientists/
by: Schoening, Uwe, 1955-
Published: (2008)

Logic and its applications /
by: Burke, Edmund
Published: (1996)

Logic for computer scientists/
by: Schoening, Uwe
Published: (1994)

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)

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

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

First-order dynamic logic/
by: Harel, David, 1950-
Published: (1979)

Equational logic as a programming language/
by: OʹDonnell, Michael J., 1952-
Published: (1985)

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)

Logic programming, functions, relations, and equations/
Published: (1986)

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

Introduction to digital logic design/
by: Hayes, John P. 1944-
Published: (1993)

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

Foundations of logic programming /
by: Lloyd, J. W. 1947-
Published: (1987)

A mathematical introduction to logic /
by: Enderton, Herbert B.
Published: (1972)

Proof and computation /
Published: (1995)

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

Foundations of inductive logic programming /
Published: (1997)

Logic programming languages : constraints, functions, and objects ; K. R. Apt, J. W. de Bakker, J. J. M. M. Rutten
Published: (1993)

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

Colloque sur les fondements des mathematiques, les machines mathematiques, et leurs applications/
Published: (1965)

The essence of logic/
by: Kelly, John J., -1995
Published: (1997)

Principles of logic and logic programming/
by: Metakides, G.
Published: (1996)

Computational logic : logic programming and beyond /
Published: (2002)

Journal of logic and computation
Published: (1990)

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

Meta-programming in logic programming /
Published: (1989)

Programs from decision tables/
by: Humby, Edward
Published: (1973)

Cannot write session to /tmp/vufind_sessions/sess_lekvcm7pa8k4d6t5o1pv920js3