A Review of Automatic Theorem-Proving [Book Review]

Journal of Symbolic Logic 39 (1):190-190 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272385

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Automated Theorem-proving in Non-classical Logics.Paul B. Thistlewaite, Michael A. McRobbie & Robert K. Meyer - 1988 - Pitman Publishing.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Logic for Computer Science: Foundations of Automatic Theorem Proving.Jean H. Gallier - 1986 - HarperCollins Publishers.
Review: J. A. Robinson, A Review of Automatic Theorem-Proving. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
Introduction to HOL: A Theorem Proving Environment for Higher Order Logic.Michael J. C. Gordon & Tom F. Melham - 1993
First-Order Logic and Automated Theorem Proving.Melvin Fitting - 1998 - Studia Logica 61 (2):300-302.
Theorem Proving in Higher Order Logics 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1998 : Proceedings'.Jim Grundy & Malcolm Newey - 1998 - Springer Verlag.
Theorem Proving in Higher Order Logics : Emerging Trends 11th International Conference, Tphols '98, Canberra, Australia, September 27-October 2, 1997 ; Supplementary Proceedings'.Jim Grundy & Malcolm Charles Newey - 1998
From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions.Dominique Snyers & André Thayse - 1987
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, Tableaux '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings.Pierangelo Miglioli, Ugo Moscato, Daniele Mundici & Mario Ornaghi - 1996 - Springer Verlag.
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, Tableaux-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings.Peter Baumgartner, F. Hahnle, Iner Hahnle & Joachim Posegga - 1995 - Springer Verlag.
Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings.E. Thomas Schubert, Phillip J. Windley, James Alves-Foss & International Workshop on Higher Order Logic Theorum Proving and its Applications - 1995 - Springer Verlag.
Review: James R. Slagle, Automatic Theorem Proving with Renamable and Semantic Resolution. [REVIEW]Lawrence T. Wos - 1970 - Journal of Symbolic Logic 35 (4):595-596.
Review: Hao Wang, Wayne A. Kalenich, Formalization and Automatic Theorem-Proving. [REVIEW]Joyce Friedman - 1974 - Journal of Symbolic Logic 39 (2):350-350.
Automatic proofs for theorems on predicate calculus.Sueli Mendes dos Santos - 1972 - [Rio de Janeiro,: Pontificia Universidade Católica do Rio de Janeiro]. Edited by Marilia Rosa Millan.

Analytics

Added to PP
2015-02-05

Downloads
19 (#753,814)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Resolution graphs.Robert A. Yates, Bertram Raphael & Timothy P. Hart - 1970 - Artificial Intelligence 1 (3-4):257-289.

Add more citations

References found in this work

No references found.

Add more references