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

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, Computer science, Logic, symbolic and mathematical, Data processing, Software engineering, Logic programming, Logic design, Computer programming, Logic, Symbolic and mathematical, Mathematics, Proof theory, Logic, Mathematical Logic and Formal Languages, Algebra, Artificial Intelligence (incl. Robotics), Démonstration automatique, Théorèmes, Automatisches Beweisverfahren

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
Alexander Leitsch, 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