The Prehistory and Early History of Automated Deduction

[1]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[2]  Alonzo Church,et al.  A note on the Entscheidungsproblem , 1936, Journal of Symbolic Logic.

[3]  Hao Wang,et al.  Toward Mechanical Mathematics , 1960, IBM J. Res. Dev..

[4]  Paul C. Gilmore,et al.  A Proof Method for Quantification Theory: Its Justification and Realization , 1960, IBM J. Res. Dev..

[5]  Martha Kneale,et al.  The development of logic , 1963 .

[6]  Donald W. Loveland,et al.  Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.

[7]  S. Kleene.  General recursive functions of natural numbers , 1936 .

[8]  Emil L. Post.  Introduction to a General Theory of Elementary Propositions , 1921 .

[9]  Larry Wos,et al.  Efficiency and Completeness of the Set of Support Strategy in Theorem Proving , 1965, JACM.

[10]  L. Wos,et al.  The unit preference strategy in theorem proving , 1899, AFIPS '64 (Fall, part I).

[11]  K. Gödel.  Die Vollständigkeit der Axiome des logischen Funktionenkalküls , 1930 .

[12]  Bernard Meltzer.  Theorem-Proving for Computers: Some Results on Resolution and Renaming , 1966, Comput. J..

[13]  J. A. Robinson,et al.  Theorem-Proving on the Computer , 1963, JACM.

[14]  K. Gödel.  Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .

[15]  B. Dunham,et al.  Theorem Testing by Computer , 1983 .

[16]  Dag Prawitz,et al.  A Mechanical Proof Procedure and its Realization in an Electronic Computer , 1960, JACM.

[17]  H. Gelernter,et al.  Realization of a geometry theorem proving machine , 1995, IFIP Congress.

[18]  A. Turing.  On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[19]  E. T. Bell.  The Development of Mathematics. , 1941 .

[20]  Hao Wang,et al.  Proving theorems by pattern recognition I , 1960, Commun. ACM.

[21]  Martin Davis,et al.  Eliminating the Irrelevant from Mechanical Proofs , 1983 .

[22]  Hilary Putnam,et al.  A Computing Procedure for Quantification Theory , 1960, JACM.

[23]  Donald W. Loveland,et al.  A machine program for theorem-proving , 2011, CACM.

[24]  George Boole,et al.  The mathematical analysis of logic , 1948 .