A man-machine theorem-proving system

&
Artificial Intelligence 5 (1):51-72 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(74)90009-5

Other Versions

No versions found

Links

PhilArchive

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

Man-machine theorem proving in graph theory.Dragoš Cvetković & Irena Pevac - 1988 - Artificial Intelligence 35 (1):1-23.
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.
The liberal and the lycanthrope.Steven J. Wagner - 1988 - Pacific Philosophical Quarterly 69 (June):165-74.
Symbolic logic and mechanical theorem proving.Robert B. Anderson - 1973 - Artificial Intelligence 4 (3-4):245-246.
Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
On proving the termination of algorithms by machine.Christoph Walther - 1994 - Artificial Intelligence 71 (1):101-157.
Completely non-clausal theorem proving.Neil V. Murray - 1982 - Artificial Intelligence 18 (1):67-85.

Analytics

Added to PP
2020-12-22

Downloads
35 (#1,484,590)

6 months
8 (#1,339,432)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.

View all 8 citations / Add more citations

References found in this work

Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
Computer Programs for Checking Mathematical Proofs.John Mccarthy - 1967 - Journal of Symbolic Logic 32 (4):523-523.

Add more references