Cover Image

Meta-logics and logic programming ; Krzysztof R. Apt, Franco Turini

Main Author:	Apt, Krzysztof R., 1949-
Other Authors:	Turini, Franco
Format:	Book
Language:	English
Published:	Cambridge, Massachusetts London, England: The MIT Press, c1995
Series:	MIT Press series in logic programming / Ehud Shapiro
Subjects:	Logic programming

Similar Items

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

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

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

Constraint logic programming using ECLiPSe /
by: Apt, Krzysztof R., 1949-
Published: (2007)

Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy,June 20-20, 1994 : proceedings /
Published: (1994)

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

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

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

The Logic programming paradigm : a 25-year perspective ; K. R. Apt .. [et al.]
Published: (1999)

From logic to logic programming/
by: Doets, Kees

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

Meta-programmming in logic : Third International Workshop, META-92,Uppsala, Sweden, June 10-12, 1992 : proceedings /
Published: (1992)

Logic programming : proceedings of the sixth international conference on logic programming /
Published: (1989)

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

Foundations of inductive logic programming /
Published: (1997)

Logic programming /
Published: (1998)

Logic programming : proceedings of the 1998 joint international conference and symposium on logic programming ; edited by Joxan Jaffar
Published: (1998)

Logic programming : proceedings of the fifth international conference and symposium /
Published: (1988)

Advances in logic programming theory /
Published: (1996)

Logic programming and soft computing /
Published: (1998)

Types in logic programming /
Published: (1992)

Reasoning with logic programming/
by: Alferes, Jose Julio
Published: (1996)

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)

Essentials of logic programming/
by: Hogger, Christopher John
Published: (1990)

Types in logic programming/
Published: (1992)

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

Parallel logic programming techniques /
by: Taylor, Stephen
Published: (1989)

Parallel logic programming techniques /
by: Taylor, Stephen
Published: (1989)

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

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)

Logic programming: proceedings of the eleventh International Conference on Logic Programming/
Published: (1994)

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

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 /
by: DeGroot, Doug
Published: (1986)

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

Cannot write session to /tmp/vufind_sessions/sess_fpfgkgm5g8svh94cmbnjqetul0