Ontic : a knowledge representation system for mathematics /

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

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

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

Automation of reasoning /
Published: (1983)

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

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

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

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

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

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
by: Bertot, Yves
Published: (2004)

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

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)

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

Theorem proving in higher order logics : 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002 : proceedings /
Published: (2002)

Theorem proving in higher order logics : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Published: (2005)

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

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

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings /
Published: (2004)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007 : proceedings /
Published: (2007)

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

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings /
Published: (2003)

Theorem proving in higher order logics : 9th International Conference, TPHOLs '96, Turku, Finland, August 26-30, 1996 : proceedings /
Published: (1996)

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

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings /
Published: (1994)

Theorem proving in higher order logics : 12th International Conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings /
Published: (1999)

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

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

Theorem proving in higher order logics : 13th International Conference, TPHOLs 2000, Portland, OR, USA, August 14-18, 2000 : proceedings /
Published: (2000)

Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2002, Copenhagen, Denmark, July 30-August 1, 2002 : proceedings /
Published: (2002)

Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings /
Published: (1999)

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Published: (2001)

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

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

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

Using sophisticated models in resolution theorem proving /
by: Sandford, David M.
Published: (1980)