A many-sorted calculus based on resolution and paramodulation /

Analogy of automated reasoning /
by: Owen, Stephen (Stephen G.)
Published: (1990)

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

Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 /
Published: (1992)

Automated reasoning : introduction and applications /
Published: (1984)

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

Handbook of automated reasoning /
Published: (2001)

Deduction systems in artificial intelligence /
Published: (1989)

Diagrammatic representation and reasoning /
Published: (2002)

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

Logic for programming, artificial intelligence, and reasoning : 13th international conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006 : proceedings /
Published: (2006)

Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings /
Published: (2005)

Logic for programming, artificial intelligence, and reasoning : 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings /
Published: (2005)

Mathematics mechanization and applications /
Published: (2000)

Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings /
Published: (2002)

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

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

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

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

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)

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)

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

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)

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

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

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

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

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

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

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

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 : 18th international conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /
Published: (2005)