Cover Image

Proof theory and automated deduction /

Bibliographic Details
Main Author:	Goubault-Larrecq, Jean
Other Authors:	Mackie, I. (Ian)
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic, [1997]
Series:	Applied logic series ; v. 6.
Subjects:	Proof theory. Automatic theorem proving.

Similar Items

Thirty-five years of automating mathematics /
Published: (2003)

Metamathematics, machines, and Gödel's proof /
by: Shankar, N. (Natarajan)
Published: (1994)

Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers /
Published: (2004)

Deduction systems /
by: Socher-Ambrosius, Rolf
Published: (1997)

Instantiation theory : on the foundations of automated deduction /
by: Williams, James G.
Published: (1991)

A proof theory for general unification /
by: Snyder, Wayne, 1955-
Published: (1991)

Automated theorem proving : theory and practice /
by: Newborn, Monroe
Published: (2001)

Automation of reasoning /
Published: (1983)

Automated theorem proving : a logical basis /
by: Loveland, Donald W.
Published: (1978)

Principles of automated theorem proving /
by: Duffy, David A.
Published: (1991)

Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.
Published: (1998)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings /
Published: (2000)

Applied proof theory : proof interpretations and their use in mathematics /
by: Kohlenbach, U. (Ulrich)
Published: (2008)

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6 - 10, 1994 ; selected papers /
Published: (1995)

Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings /
Published: (1998)

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

Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings /
Published: (2007)

Automated deduction--CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings /
Published: (1999)

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

Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings /
Published: (1997)

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

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

Automated deduction, Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings /
Published: (1996)

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

Automated theorem proving : a logical basis /
by: Loveland, Donald W.
Published: (1978)

Automated development of fundamental mathematical theories /
by: Quaife, Art
Published: (1992)

Machine proofs in geometry : automated production of readable proofs for geometry theorems /
by: Chou, Shang-Ching, 1946-
Published: (1994)

Types for proofs and programs : International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994 : selected papers /
Published: (1995)

Types for proofs and programs : international workshop TYPES '95, Torino, Italy, June 5-8, 1995 : selected papers /
Published: (1996)

Automated theorem proving : after 25 years /
Published: (1984)

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

Automated theorem proving /
by: Bibel, W., 1938-
Published: (1987)

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings /
Published: (2000)

Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /
Published: (2006)

Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings /
Published: (2004)

Handbook of automated reasoning /
Published: (2001)

Automated reasoning : essays in honor of Woody Bledsoe /
Published: (1991)

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

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings /
Published: (1986)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings /
Published: (2003)