Automated theorem-proving in non-classical logics /

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

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

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

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

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

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

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

Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings /
Published: (1995)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
Published: (2007)

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

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

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

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

From logic design to logic programming : theorem proving techniques and P-functions /
by: Snyers, Dominique, 1959-
Published: (1987)

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

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

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

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

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

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

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

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

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 : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 : proceedings /
Published: (2001)

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

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

PX, a computational logic /
by: Hayashi, Susumu, 1953-
Published: (1988)

An introduction to non-classical logic /
by: Priest, Graham
Published: (2001)

An introduction to non-classical logic : from if to is /
by: Priest, Graham
Published: (2008)

Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings /
Published: (1996)

Automated deduction in classical and non-classical logics : selected papers /
Published: (2000)

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

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

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

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings /
Published: (2000)

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