Review: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine) [Book Review]

Journal of Symbolic Logic 32 (4):522-522 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

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

Review: H. Gelernter, Theorem Proving by Machine; H. Gelernter, Realization of a Geometry Theorem Proving Machine. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-523.
Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving. [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (1):118-118.
Review: Abraham Robinson, Les Rapports Entre le Calcul Deductif et l'Interpretation Semantique d'un Systeme Axiomatique; E. W. Beth, L. E. J. Brouwer, Abraham Robinson, Discussion. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (2):185-186.
Review: J. A. Robinson, A Review of Automatic Theorem-Proving. [REVIEW]L. Wos - 1974 - Journal of Symbolic Logic 39 (1):190-190.
Review: J. A. Robinson, Theorem-Proving on the Computer. [REVIEW]David Luckham - 1966 - Journal of Symbolic Logic 31 (3):514-515.
Human-oriented and machine-oriented reasoning: Remarks on some problems in the history of Automated Theorem Proving. [REVIEW]Furio Di Paola - 1988 - AI and Society 2 (2):121-131.
Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
Review: Lawrence Wos, Daniel Carson, George Robinson, The Unit Preference Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-117.
Review: Lawrence Wos, George A. Robinson, Daniel F. Carson, Efficiency and Completeness of the Set of Support Strategy in Theorem Proving. [REVIEW]David Luckham - 1967 - Journal of Symbolic Logic 32 (1):117-118.
A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230. [REVIEW]Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (1):103-103.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Review: Abraham Robinson, W. A. J. Luxemburg, A. Robinson, Algebraic Function Fields and Non-Standard Arithmetic. [REVIEW]Diana L. Dubrovsky - 1974 - Journal of Symbolic Logic 39 (2):339-340.
Review: H. J. Keisler, A. Robinson, Selected Papers of Abraham Robinson.: Model Theory and Algebra. [REVIEW]John T. Baldwin - 1982 - Journal of Symbolic Logic 47 (1):197-203.
A. Newell, J. C. Shaw, and H. A. Simon. Empirical explorations of the logic theory machine: A case study in heuristic. Proceedings of the Western Joint Computer Conference, Los Angeles1957, pp. 218–230. - Bryan Cowan, G. H. McClurg, A. Newell, P. E. Tanner, L. D. Yarbrough. Discussion. Proceedings of the Western Joint Computer Conference, Los Angeles1957, p. 230. [REVIEW]Abraham Robinson - 1962 - Journal of Symbolic Logic 27 (1):102-103.

Analytics

Added to PP
2013-11-22

Downloads
14 (#934,671)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references