Review: Martin Davis, George Logemann, Donald Loveland, A Machine Program for Theorem-Proving [Book Review]

Journal of Symbolic Logic 32 (1):118-118 (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,349

External links

  • This entry has no external links. Add one.
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: Donald W. Loveland, Automated Theorem Proving. A Logical Basis. [REVIEW]J. A. Robinson - 1980 - Journal of Symbolic Logic 45 (3):629-630.
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.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
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: Abraham Robinson, Proving a Theorem (as Done by Man, Logician, or Machine). [REVIEW]J. A. Robinson - 1967 - Journal of Symbolic Logic 32 (4):522-522.
Review: B. Dunham, R. Fridshal, G. L. Sward, A Non-Heuristic Program for Proving Elementary Logical Theorems; B. Dunham, R. Fridshal, J. H. North, Exploratory Mathematics by Machine; B. Dunham, J. H. North, Theorem Testing by Computer. [REVIEW]Joyce Friedman - 1967 - Journal of Symbolic Logic 32 (2):266-266.
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.
Human and machine logic: A rejoinder.John R. Lucas - 1968 - British Journal for the Philosophy of Science 19 (2):155-6.
Review: James R. Slagle, Philip Bursky, Experiments with a Multipurpose, Theorem-Proving Heuristic Program. [REVIEW]David C. Cooper - 1970 - Journal of Symbolic Logic 35 (4):596-596.
Review: M. D. Davis, A Note on Universal Turing Machines; Martin Davis, The Definition of Universal Turing Machine. [REVIEW]R. J. Nelson - 1970 - Journal of Symbolic Logic 35 (4):590-590.
The discussion about proposals to change the Western Culture program at Stanford University.Donald Kennedy, John Perky, Carolyn Lougee, Marsh McCall, Paul Robinson, James Gibb, Clara N. Bush, Judith Brown, George Dekker, Bill King, William Chace, Carlos Camargo, J. Martin Evans, Ronald Rebholz, Carl Degler, Barbara Gelpi, Renato Rosaldo, William Mahrt, Halsey Rayden, Herbert Lindenberger, Albert Gelpi, Gregson Davis, Diane Middlebrook, David Kennedy, Dennis Phillips, Harry Papasotiriou, Martin Evans, Ron Rebholz, Bill Chace, Jim van HarveySneehan & David Riggs - 1989 - Minerva 27 (2):223-411.
Review: Martin Davis, A Program for Presburger's Algorithm. [REVIEW]D. A. Clarke - 1966 - Journal of Symbolic Logic 31 (1):138-138.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,884,204)

6 months
1 (#1,533,009)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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