Observations on ATP
暂无分享,去创建一个
[1] G. Frege. Grundgesetze der Arithmetik , 1893 .
[2] G. Peano. Formulaire de mathématiques , .
[3] Jacques Herbrand. Recherches sur la théorie de la démonstration , 1930 .
[4] Wilhelm Ackermann,et al. Solvable Cases Of The Decision Problem , 1954 .
[5] Jaakko Hintikka,et al. Vicious Circle Principle and the Paradoxes , 1957, J. Symb. Log..
[6] Hao Wang,et al. A Variant to Turing's Theory of Computing Machines , 1957, JACM.
[7] Bruce Lercher,et al. Recursive Number Theory , 1958, The Mathematical Gazette.
[8] Stig Kanger,et al. A Simplified Proof Method for Elementary Logic , 1959 .
[9] H. Gelernter,et al. Realization of a geometry theorem proving machine , 1995, IFIP Congress.
[10] B. Dunham,et al. A non-heuristic program for proving elementary logical theorems , 1959, IFIP Congress.
[11] Hao Wang. Ordinal Numbers and Predicative Set Theory , 1959 .
[12] A. Robinson. A Basis for the Mechanization of the Theory of Equations , 1959 .
[13] Hao Wang. Circuit Synthesis by Solving Sequential Boolean Equations , 1959 .
[14] Hao Wang,et al. Toward Mechanical Mathematics , 1960, IBM J. Res. Dev..
[15] Paul C. Gilmore,et al. A Proof Method for Quantification Theory: Its Justification and Realization , 1960, IBM J. Res. Dev..
[16] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[17] S. Ulam. A collection of mathematical problems , 1960 .
[18] Hao Wang,et al. Proving theorems by pattern recognition I , 1960, Commun. ACM.
[19] Dag Prawitz,et al. A Mechanical Proof Procedure and its Realization in an Electronic Computer , 1960, JACM.
[20] Marvin Minsky,et al. Steps toward Artificial Intelligence , 1995, Proceedings of the IRE.
[21] Hao Wang. Proving theorems by pattern recognition — II , 1961 .
[22] A S Kahr,et al. ENTSCHEIDUNGSPROBLEM REDUCED TO THE AEA CASE. , 1962, Proceedings of the National Academy of Sciences of the United States of America.
[23] Donald W. Loveland,et al. A machine program for theorem-proving , 2011, CACM.
[24] Joyce Friedman. A Computer Program for a Solvable Case of the Decision Problem , 1963, JACM.
[25] Joyce Friedman. A Semi-Decision Procedure for the Functional Calculus , 1963, JACM.
[26] Peter B. Andrews,et al. False lemmas in Herbrand , 1963 .
[27] Daniel G. Bobrow,et al. Natural Language Input for a Computer Problem Solving System , 1964 .
[28] J. Shepherdson,et al. Computer programming and formal systems , 1965 .