Cover Image

Computational logic /

Corporate Authors:	North Atlantic Treaty Organization Scientific Affairs Division, NATO Advanced Study Institute on Computational Logic
Other Authors:	Berger, Ulrich, Schwichtenberg, Helmut
Format:	Book
Language:	English
Published:	Berlin ; Springer, 1999. New York :
Subjects:	Computer logic

Similar Items

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

Logic in computer science: modelling and reasoning about systems/
by: Huth, Michael, 1962-
Published: (2000)

Logic in computer science: modelling and reasoning about systems/
by: Huth, Michael, 1962-
Published: (2004)

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

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

ACM transactions on computational logic.
Published: (2000)

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)

Computer architecture and logic design/
by: Bartee, Thomas C.
Published: (1991)

ACM transactions on computational logic A3
Published: (2000)

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

Introductory logic and sets for computer scientists/
by: Nissanke, Nimal
Published: (1999)

Handbook of logic in computer science /
Published: (1992)

Journal of logic and computation
Published: (1990)

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

Computer architecture and logic design /
by: Bartee, Thomas C.
Published: (1991)

Computational logic/
Published: (1999)

Handbook of practical logic and automated reasoning /
by: Harrison, J. 1966-
Published: (2009)

Logic programming and soft computing /
Published: (1998)

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

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

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

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

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, language and computation/
Published: (1996)

Logic, computing machines, and automation/
by: Hilton, Alice Mary
Published: (1963)

Computation engineering : applied automata theory and logic /
by: Gopalakrishnan, Ganesh
Published: (2006)

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

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

Computability and logic/
by: Cohen, Daniel E.
Published: (1987)

Foundations of inductive logic programming /
Published: (1997)

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

Handbook of logic in computer science.
Published: (2000)

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

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

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

Handbook of logic in computer science/
Published: (1992)

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

Cannot write session to /tmp/vufind_sessions/sess_0l4cipkkiotf3snhh0slgt6ji4