J. A. Robinson. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 1–18.

L. Wos

doi:10.2307/2272385

J. A. Robinson. A review of automatic theorem-proving. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 1–18.

Journal of Symbolic Logic ◽

10.2307/2272385 ◽

1974 ◽

Vol 39 (1) ◽

pp. 190-190

Author(s):

L. Wos

Keyword(s):

Computer Science ◽

Theorem Proving ◽

Applied Mathematics ◽

American Mathematical Society ◽

Mathematical Society ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

J. Hartmanis. Context-free languages and Turing machine computations. Mathematical aspects of computer science, Proceedings of symposia in applied mathematics, vol. 19, American Mathematical Society, Providence1967, pp. 42–51.

Journal of Symbolic Logic ◽

10.2307/2272443 ◽

1972 ◽

Vol 37 (4) ◽

pp. 759-759

Author(s):

S. Ginsburg

Keyword(s):

Computer Science ◽

Turing Machine ◽

Applied Mathematics ◽

American Mathematical Society ◽

Mathematical Society ◽

Context Free

Download Full-text

Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp.

Journal of Symbolic Logic ◽

10.2307/2275035 ◽

1989 ◽

Vol 54 (1) ◽

pp. 288-289 ◽

Cited By ~ 3

Author(s):

Frank Pfenning

Keyword(s):

Computer Science ◽

Theorem Proving ◽

Science And Technology ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Logic Control via Automatic Theorem Proving: COCOLOG Fragments Implemented in Blitzensturm 5.0

1993 American Control Conference ◽

10.23919/acc.1993.4793060 ◽

1993 ◽

Cited By ~ 1

Author(s):

P.E. Caines ◽

T. Mackling ◽

Y.J. Wei

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Logic Control ◽

Automatic Theorem

Download Full-text

Examples of automatic theorem proving a real geometry

Proceedings of the international symposium on Symbolic and algebraic computation - ISSAC '94 ◽

10.1145/190347.190354 ◽

1994 ◽

Cited By ~ 2

Author(s):

Ahmed Guergueb ◽

Jean Mainguené ◽

Marie-Françoise Roy

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Real Geometry ◽

Automatic Theorem

Download Full-text

Pirotte, A., Automatic Theorem Proving Basedon Resolution (Automatic Programming), Volume 7, Part 4 (1973). IV. 201–266 S. Oxford/New York/Toronto/Sydney/Braunschweig 1973. Pergamon Press. Preis brosch. £ 2.00

ZAMM ‐ Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik ◽

10.1002/zamm.19740541027 ◽

1974 ◽

Vol 54 (10) ◽

pp. 748-748

Author(s):

J. Metz

Keyword(s):

New York ◽

Theorem Proving ◽

Automatic Programming ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Refinements to depth-first iterative-deepening search in automatic theorem proving

Artificial Intelligence ◽

10.1016/0004-3702(89)90011-8 ◽

1989 ◽

Vol 41 (2) ◽

pp. 223-235

Author(s):

Xumin Nie ◽

David A. Plaisted

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving

Word Problems - Decision Problems and the Burnside Problem in Group Theory - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71923-2 ◽

1973 ◽

pp. 609-639 ◽

Cited By ~ 14

Author(s):

Lawrence Wos ◽

George Robinson

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Maximal Models ◽

Automatic Theorem

Download Full-text

Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_36 ◽

2004 ◽

pp. 457-461 ◽

Cited By ~ 34

Author(s):

Thomas Ball ◽

Byron Cook ◽

Shuvendu K. Lahiri ◽

Lintao Zhang

Keyword(s):

Theorem Proving ◽

Predicate Abstraction ◽

Automatic Theorem Proving ◽

Abstraction Refinement ◽

Automatic Theorem

Download Full-text

Semantic Trees in Automatic Theorem-Proving

Automation of Reasoning ◽

10.1007/978-3-642-81955-1_13 ◽

1983 ◽

pp. 217-232 ◽

Cited By ~ 5

Author(s):

R. Kowalski ◽

P. J. Hayes

Keyword(s):

Theorem Proving ◽

Automatic Theorem Proving ◽

Automatic Theorem

Download Full-text

Bioconsensus.—M. F. Janowitz, F.-J. Lapointe, F. R. McMorris, B. Mirkin, and F. S. Roberts, editors. (DIMACS series in discrete mathematics and theoretical computer science, v. 61). 2003. American Mathematical Society. 242 pp. ISBN 0–8218–3197–6. $75.00.

Systematic Biology ◽

10.1080/10635150490445887 ◽

2004 ◽

Vol 53 (3) ◽

pp. 515-517

Author(s):

Tanya Y. Berger-Wolf

Keyword(s):

Computer Science ◽

American Mathematical Society ◽

Theoretical Computer Science ◽

Mathematical Society ◽

Discrete Mathematics ◽

Theoretical Computer

Download Full-text