Handbook of practical logic and automated reasoning /

Main Author:	Harrison, J. 1966-
Format:	Book
Language:	English
Published:	Cambridge : Cambridge University Press, 2009.
Subjects:	Computer logic

Similar Items

Logic programming and automated reasoning : 4th international conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993 :proceedings /
Published: (1993)

Logic programming and automated reasoning : internationalconference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 :proceedings /
Published: (1992)

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

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)

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

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

Computational logic /
Published: (1999)

Theory and practice of logic programming.
Published: (2001)

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

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

Journal of automated reasoning

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

Handbook of logic in artificial intelligence and logic programming.
Published: (1998)

Automated deduction in multiple-valued logics/
by: Hahnle, Reiner
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)

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

Automated reasoning: introduction and applications/
by: Wos, Larry
Published: (1992)

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

First-order logic and automated theorem proving
by: Fitting, Melvin, 1942-
Published: (1996)

First-order logic and automated theorem proving /
by: Fitting, Melvin, 1942-
Published: (1996)

ACM transactions on computational logic A3
Published: (2000)

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

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

Logic programming and non-monotonic reasoning: proceedings of the first international workshop/
Published: (1991)

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

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

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

Logic with added reasoning/
by: Gabbay, Michael J.
Published: (2002)

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

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

Logical design of automation systems /
by: Friedman, Sander B., 1927-
Published: (1990)

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

Reasoning and the logic of things : the Cambridge conferences lectures of 1898 /
by: Peirce, C. S. 1839-1914
Published: (1992)

Reasoning and the logic of things: the Cambridge conferences lectures of 1898/
by: Peirce, Charles Sanders, 1839-1914
Published: (1992)

Journal of logic and computation
Published: (1990)

Cannot write session to /tmp/vufind_sessions/sess_7uvsuel3ndlkudf63h8mee74f4