Cover Image

Computational logic : logic programming and beyond /

Other Authors:	Kowalski, Robert
Format:	Book
Language:	English
Published:	Heidelberg ; New York : Springer, 2002.
Subjects:	Logic programming Logic programming languages

Similar Items

Computing with logic :logic programming with Prolog /
by: Maier, David 1953-
Published: (1988)

Computational logic : logic programming and beyond :essays in honour of Robert A. Kowalski /
Published: (2002)

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

Logic programming and soft computing /
Published: (1998)

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

Foundations of inductive logic programming /
Published: (1997)

Logic programming and soft computing/
Published: (1998)

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

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

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

Advances in logic programming theory /
Published: (1996)

Types in logic programming /
Published: (1992)

Logic, programming, and Prolog/
by: Nilsson, Ulf, 1961-
Published: (1990)

The logic programming tutor/
by: Paine, Jocelyn
Published: (1992)

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

Types in logic programming/
Published: (1992)

Constraint satisfaction in logic programming/
by: Van Hentenryck, Pascal
Published: (1989)

Constraint logic programming : selected research /
Published: (1993)

Inductive logic programming: techniques and applications/
by: Lavrac, Nada
Published: (1994)

Constraint logic programming: selected research/
Published: (1993)

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

A grammatical view of logic programming/
by: Deransar, Pierre
Published: (1993)

Logic programming languages : constraints, functions and objects /
Published: (1993)

Logic programming languages: constraints, functions, and objects/
Published: (1993)

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

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

Logic programming : proceedings of the 1993 International Symposium ; Dale Miller
Published: (1993)

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

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

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

Logic and declarative language/
by: Downward, Michael
Published: (1998)

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

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

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

Logic programming and prolog /
by: Nilsson, Ulf
Published: (1995)

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

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

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

Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming /
Published: (1992)

Logic programming: proceedings of the 1996 joint international conference and symposium on logic programming/
Published: (1996)

Cannot write session to /tmp/vufind_sessions/sess_qikm6h9jodnnj04crhlvk1epb3