Theorem-Proving on the Computer
- 1 April 1963
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 10 (2) , 163-174
- https://doi.org/10.1145/321160.321166
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- A machine program for theorem-provingCommunications of the ACM, 1962
- Proving Theorems by Pattern Recognition - IIBell System Technical Journal, 1961
- A Computing Procedure for Quantification TheoryJournal of the ACM, 1960
- A Mechanical Proof Procedure and its Realization in an Electronic ComputerJournal of the ACM, 1960
- Proving theorems by pattern recognition ICommunications of the ACM, 1960
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960
- A Proof Method for Quantification Theory: Its Justification and RealizationIBM Journal of Research and Development, 1960
- ORTHOGONAL LATIN SQUARESProceedings of the National Academy of Sciences, 1959
- ON THE FALSITY OF EULER'S CONJECTURE ABOUT THE NON-EXISTENCE OF TWO ORTHOGONAL LATIN SQUARES OF ORDER 4t + 2Proceedings of the National Academy of Sciences, 1959
- A proof procedure for quantification theoryThe Journal of Symbolic Logic, 1955