Little Prover
Daniel P. Friedman, Carl Eastl ...
Not in Library
Gems of theoretical computer science by Uwe Schöning
Not in Library
Automated Reasoning by Larry Wos
Borrow
Symbolic logic and mechanical theorem proving by Chin-Liang Chang
Preview Only
PX, a computational logic by Susumu Hayashi
Borrow
Mechanical geometry theorem proving by Chou, Shang-Ching
Not in Library
Handbook of Tableau Methods by Marcello D'Agostino
Not in Library
Certified Programming with Dependent Types by Adam Chlipala
Not in Library
Handbook of practical logic and automated reasoning by Harrison, J.
Not in Library
Machine proofs in geometry by Chou, Shang-Ching
Not in Library
Automated Reasoning with Analytic Tableaux and Related Methods by Bernhard Beckert
Not in Library
Symbolic logic and mechanical theorem proving by Chin-Liang Chang
Not in Library

Publishing History

This is a chart to show the publishing history of editions of works about this subject. Along the X axis is time, and on the y axis is the count of editions published. Click here to skip the chart.  This graph charts editions published on this subject.
Editions Published
Year of Publication

Related...

Subjects
Congresses, Artificial intelligence, Symbolic and mathematical Logic, Logic, symbolic and mathematical, Data processing, Computer science, Logic programming, Computer programming, Software engineering, Logic design, Logic, Symbolic and mathematical, Mathematics, Proof theory, Logic, Démonstration automatique, Théorèmes, Algebra, Automatisches Beweisverfahren, Geometry, data processing, Computational complexity
Places
Soviet Union
People
J. A. Robinson
Times
None found.

Prolific Authors

who have written the most books on this subject
Andrei Voronkov, 8 books
Larry Wos, 7 books
David A. Plaisted, 5 books
Dongming Wang, 4 books
Jörg H. Siekmann, 4 books
G. M. Birtwistle, 3 books
W. Bibel, 3 books
Yves Bertot, 3 books
Melvin Fitting, 3 books
Dieter Hutter, 3 books
Wolfgang Bibel, 3 books
Tobias Nipkow, 3 books
Alan Bundy, 3 books
T. F. Melham, 3 books
Robert S. Boyer, 3 books
Harrison, John, 3 books
I. L. Artemʹeva, 2 books
J. A. Robinson, 2 books
Werner Stephan, 2 books
Harrison, J., 2 books
Torsten Schaub, 2 books
Peter Baumgartner, 2 books
Wu, Wen-tsün., 2 books
Georg Gottlob, 2 books
Jacques Calmet, 2 books