A proof theory for general unification /

Types for proofs and programs : international workshop TYPES '93, Nijmegen, the Netherlands, May 24-28, 1993 : selected papers /
Published: (1994)

Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers /
Published: (2002)

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

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

Automated Reasoning : Essays in Honor of Woody Bledsoe /
by: Boyer, Robert S.
Published: (1991)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 : proceedings /
Published: (2000)

Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings /
Published: (2001)

Theorem proving with the real numbers /
by: Harrison, J. (John), 1966-
Published: (1998)

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

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

Gems of theoretical computer science /
by: Schöning, Uwe, 1955-
Published: (1998)

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)

First International Workshop on Larch : proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13-15 July 1992 /
Published: (1993)

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

Gems of theoretical computer science /
by: Schöning, Uwe, 1955-
Published: (1998)

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

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

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 /
Published: (1982)

A fascinating country in the world of computing : your guide to automated reasoning /
by: Wos, Larry
Published: (1999)

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

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

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

Automation of reasoning /
Published: (1983)

Mechanical geometry theorem proving /
by: Chou, Shang-Ching, 1942-
Published: (1988)

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

Theorem proving with the real numbers /
by: Harrison, J. (John), 1966-
Published: (1998)

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

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

Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures /
Published: (1998)

Types for proofs and programs : international workshop, TYPES '99, Lökeberg, Sweden, June 12-16, 1999 : selected papers /
Published: (2000)

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

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

7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings /
Published: (1984)

Isabelle/HOL : a proof assistant for higher-order logic /
by: Nipkow, Tobias, 1958-
Published: (2002)

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