Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
1959.
A Study in the Philosophy of Science.
Vol. 25,
Issue. ,
p.
682.
PRAWITZ, DAG
1960.
An improved proof procedure1.
Theoria,
Vol. 26,
Issue. 2,
p.
102.
Davis, Martin
and
Putnam, Hilary
1960.
A Computing Procedure for Quantification Theory.
Journal of the ACM,
Vol. 7,
Issue. 3,
p.
201.
Minsky, Marvin
1961.
A Selected Descriptor-Indexed Bibliography to the Literature on Artificial Intelligence.
IRE Transactions on Human Factors in Electronics,
Vol. HFE-2,
Issue. 1,
p.
39.
Robinson, J. A.
1963.
Theorem-Proving on the Computer.
Journal of the ACM,
Vol. 10,
Issue. 2,
p.
163.
Robinson, J. A.
1963.
Automation of Reasoning.
p.
372.
COOPER, D.C.
1966.
Advances in Programming and Non-Numerical Computation.
p.
155.
Veenker, G.
1967.
Beweisalgorithmen für die Prädikatenlogik.
Computing,
Vol. 2,
Issue. 3,
p.
263.
Loveland, Donald W.
1968.
Mechanical Theorem-Proving by Model Elimination.
Journal of the ACM,
Vol. 15,
Issue. 2,
p.
236.
Loveland, D. W.
1968.
Automation of Reasoning.
p.
117.
Fraïssè, Roland
1970.
Symposium on Automatic Demonstration.
Vol. 125,
Issue. ,
p.
73.
Robinson, J. A.
1970.
Theoretical Approaches to Non-Numerical Problem Solving.
p.
2.
Wos, Lawrence
and
Robinson, George
1973.
Word Problems - Decision Problems and the Burnside Problem in Group Theory.
Vol. 71,
Issue. ,
p.
609.
1973.
Symbolic Logic and Mechanical Theorem Proving.
p.
309.
Kapitonova, Yu. V.
Kostyrko, V. F.
Lyaletskii, A. V.
Degtyarev, A. I.
Malashonok, A. I.
Anufriev, F. V.
and
Asel'derov, Z. M.
1974.
A brief review and bibliography of investigations into automation of search of theorem proofs in formal theories.
Cybernetics,
Vol. 8,
Issue. 5,
p.
714.
Andrews
1976.
Refutations by Matings.
IEEE Transactions on Computers,
Vol. C-25,
Issue. 8,
p.
801.
1978.
Automated Theorem Proving.
p.
395.
Wos, L. T.
and
Robinson, G. A.
1983.
Automation of Reasoning.
p.
578.
Prawitz, D.
1983.
Automation of Reasoning.
p.
162.
Davis, M.
and
Putnam, H.
1983.
Automation of Reasoning.
p.
125.