Cover Image

Automated theorem proving : theory and practice /

Main Author:	Newborn, Monty
Format:	Book
Language:	English
Published:	New York : Springer, c2001.
Subjects:	Automatic theorem proving

Similar Items

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

Automated theorem proving in software engineering /
by: Schumann, Johann M., 1960-
Published: (2001)

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 :proceedings /
Published: (1997)

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)

The efficiency of theorem proving strategies : a comparative and asymptotic analysis /
by: Plaisted, David A.
Published: (1999)

Automated reasoning and its applications: essays in honor of Larry Wos/
by: Veroff, Robert
Published: (1997)

Symbolic logic and mechanical theorem proving /
by: Chang, Chin-Liang, 1937-
Published: (1987)

Automation of reasoning: : classical papers on computational logic/
Published: (1983)

Handbook of automated reasoning/
by: Robinson, Alan
Published: (2001)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '97, Pont-αa-Mousson, France, May 13-16, 1997 : proceedings /
Published: (1997)

Higher order logic theorem proving and its applications: proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92/
Published: (1993)

Automated deduction : a basis for applications /
Published: (1995)

Logic for computer science : foundations of automatic theorem proving /
by: Gallier, Jean H.
Published: (1982)

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

Automated deduction in multiple-valued logics/
by: Hahnle, Reiner
Published: (1993)

The collected works of Larry Wos/
by: Wos, Larry
Published: (2000)

A computational logic handbook /
by: Boyer, Robert S.
Published: (1988)

Gems of theoretical computer science/
by: Scho?ning, Uwe
Published: (1998)

A computational logic handbook/
by: Boyer, Robert S.
Published: (1998)

Automated reasoning with analytic tableaux and related methods :International Conference, TABLEAUXʹ98, Oisterwijk, The Netherlands, May 5-8, 1998 :proceedings /
Published: (1998)

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

Computational logic and proof theory : 5th Kurt Godel Colloquium,KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings /
Published: (1997)

Automated deduction, CADE-12 : 12th International Conference onAutomated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings /
Published: (1994)

Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 :proceedings /
Published: (1992)

Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002: proceedings /
Published: (2002)

Automated deduction-CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003: proceedings /
Published: (2003)

A guide to LP : the Larch Prover /
by: Garland, Stephen J.
Published: (1991)

Proof in VDM : a practitioner's guide /
Published: (1994)

Diagrammatic reasoning: cognitive and computational perspectives/
Published: (1995)

Lectures on proof verification and approximation algorithms /
Published: (1998)

10th International Conference on Automated Deduction : proceedings :Kaiserslautern, FRG, July 24-27, 1990 /
Published: (1990)

9th International Conference on Automated Deduction : Argonne,Illinois, USA, May 23-26, 1988 : proceedings /
Published: (1988)

Proof theory and automated deduction/
by: Goubault-Larrecq, Jean
Published: (1997)

Automated reasoning : Introduction and Applications /
by: Wos, Larry
Published: (1984)

Proof technology and computation /
Published: (2006)

Handbook of tableau methods/
Published: (1999)

The resolution calculus/
by: Leitsch, Alexander
Published: (1997)

Diagrammatic reasoning : cognitive and computational perspectives /
Published: (1995)

Computational logic : essays in honor of Alan Robinson /
Published: (1991)

Cannot write session to /tmp/vufind_sessions/sess_82rmd6ovvnilbdih9545l334k7