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

Hao Wang. Formalization and automatic theorem-proving. Information processing 1965, Proceedings of IFIP Congress 65, organized by the International Federation for Information Processing, New York City, May 24–29, 1965, Volume 1, edited by Wayne A. Kalenich, Spartan Books, Inc., Washington, D.C., and Macmillan and Co., Ltd., London, 1965, pp. 51–58.

Journal of Symbolic Logic ◽

10.2307/2272695 ◽

1974 ◽

Vol 39 (2) ◽

pp. 350-350

Author(s):

Joyce Friedman

Keyword(s):

New York ◽

New York City ◽

Information Processing ◽

Theorem Proving ◽

York City ◽

International Federation ◽

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 ◽

Logic Control ◽

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

Examples of automatic theorem proving a real geometry

10.1145/190347.190354 ◽

1994 ◽

Cited By ~ 2

Author(s):

Ahmed Guergueb ◽

Jean Mainguené ◽

Marie-Françoise Roy

Keyword(s):

Theorem Proving ◽

Real Geometry ◽

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 ◽

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

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

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

1973 ◽

pp. 609-639 ◽

Cited By ~ 14

Author(s):

Lawrence Wos ◽

George Robinson

Keyword(s):

Theorem Proving ◽

Maximal Models ◽

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 ◽

Abstraction Refinement ◽

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. II

Cybernetics ◽

10.1007/bf01078915 ◽

1988 ◽

Vol 23 (4) ◽

pp. 547-556 ◽

Cited By ~ 1

Author(s):

A. A. Voronkov ◽

A. I. Degtyarev

Keyword(s):

Theorem Proving ◽

Automated Design of Multiple-Valued Logic Circuits by Automatic Theorem Proving Techniques

IEEE Transactions on Computers ◽

10.1109/tc.1983.1676328 ◽

1983 ◽

Vol C-32 (9) ◽

pp. 785-798 ◽

Cited By ~ 11

Author(s):

Wojciechowski ◽

Wojcik

Keyword(s):

Theorem Proving ◽

Automated Design ◽

Logic Circuits ◽

Multiple Valued Logic ◽

Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (SNPD 2007) ◽

OR-ATP: An Operation Refinement Approach As a Process of Automatic Theorem Proving

10.1109/snpd.2007.253 ◽

2007 ◽

Author(s):

Shuaiqiang Wang ◽

Jiancheng Wan ◽

Jinkui Hou

Keyword(s):

Theorem Proving ◽