automatic theorem proving Books
28 books in this genre
Using sophisticated models in resolution theorem proving
David M. Sandford
Automated reasoning with analytic tableaux and related methods
TABLEAUX '97 (1997 Pont-à-Mousson, France)
A fascinating country in the world of computing
Larry Wos
Automated reasoning
IJCAR 2004 (2004 Cork, Ireland)
7th International Conference on Automated Deduction
R. Shostak
Interactive theorem proving and program development
Yves Bertot
Resolution proof systems
Zbigniew Stachniak
Logical frameworks
G. Plotkin
Theorem proving in higher order logics
Automated theorem proving
Monroe Newborn
A proof theory for general unification
Wayne Snyder
Automated deduction in multiple-valued logics
Reiner Hähnle
Computational logic and proof theory
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)
Handbook of automated reasoning
J. A. Robinson
Mechanical Geometry Theorem Proving
Shang-Ching Chou
9th International Conference on Automated Deduction
International Conference on Automated Deduction (9th 1988 Argonne, Ill.)
Proceedings
International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)
Mathematical knowledge management
Theorem proving in higher order logics
TPHOLs '96 (1996 Turku, Finland)
Mechanizing mathematical reasoning
Jörg H. Siekmann