Completely non-clausal theorem proving

Artificial Intelligence 18 (1):67-85 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(82)90011-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.
A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
Symbolic logic and mechanical theorem proving.Robert B. Anderson - 1973 - Artificial Intelligence 4 (3-4):245-246.
Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
Renamable paramodulation for automatic theorem proving with equality.C. L. Chang - 1970 - Artificial Intelligence 1 (3-4):247-256.
Man-machine theorem proving in graph theory.Dragoš Cvetković & Irena Pevac - 1988 - Artificial Intelligence 35 (1):1-23.
Refutational theorem proving using term-rewriting systems.Jieh Hsiang - 1985 - Artificial Intelligence 25 (3):255-300.

Analytics

Added to PP
2020-12-22

Downloads
2 (#1,818,851)

6 months
1 (#1,516,021)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Theorem Proving in Annotated Logics.Mi Lu & Jinzhao Wu - 2000 - Journal of Applied Non-Classical Logics 10 (2):121-143.
An essay on resolution logics.Zbigniew Stachniak - 1993 - Studia Logica 52 (2):309 - 322.
Synthetic programming.Nachum Dershowitz - 1985 - Artificial Intelligence 25 (3):323-373.
Exploiting data dependencies in many-valued logics.Reiner Haähnle - 1996 - Journal of Applied Non-Classical Logics 6 (1):49-69.

Add more citations

References found in this work

Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archiv für Philosophie 5 (4):375.
Ein System des verknüpfenden Schliessens.K. Schütte - 1956 - Archive for Mathematical Logic 2 (2-4):55.

Add more references