An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning

Artificial Intelligence 14 (3):221-242 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(80)90049-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings.Jacques Calmet, International Conference on Artificial Intelligence and Symbolic Mathematical Computation & Calculemus - 2002 - Springer Verlag.
Renamable paramodulation for automatic theorem proving with equality.C. L. Chang - 1970 - Artificial Intelligence 1 (3-4):247-256.
Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
Formal Methods in Artificial Intelligence.Allan Ramsay - 1988 - CUP Archive.
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
Refinements to depth-first iterative-deepening search in automatic theorem proving.Xumin Nie & David A. Plaisted - 1989 - Artificial Intelligence 41 (2):223-235.
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.
Geometric theorem proving by integrated logical and algebraic reasoning.Takashi Matsuyama & Tomoaki Nitta - 1995 - Artificial Intelligence 75 (1):93-113.

Analytics

Added to PP
2020-12-22

Downloads
17 (#1,156,101)

6 months
10 (#418,198)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.

Add more references