Resolution prover
Wos
.e1.al..1965
Resolution restrictions,
strategies .e.t..al..
1965-1970
Knuth-Bendix theorem
Knuth, Bendix
1970
AURA
Overbeek, Wos, W"mker,
Lusk,Smith
1972-
TPS - higher order logic
AndrelfS 1976
Decision procedures
for quantitler-free
theories, Shostak.
Oppen
.e.t...al..1977
IJlA-an ATP tool kit.
ITP-a people's machine
built from LMA tools.
Lusk,McCune,Overbeek
1980-
D.W. LOVELAND
Computational
Logic Theorem
Prover, Boyer,
Moore
1973-
Markgraf Karl
Procedure,
Siekmann
at..AL19BO-
nGURBl
ATP project
Bledsoe
.eL.al..1970
Human-oriented prover
Nevins
1971
Previous Page Next Page