Proving theorems by pattern recognition I
- 1 April 1960
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 3 (4) , 220-234
- https://doi.org/10.1145/367177.367224
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Toward Mechanical MathematicsIBM Journal of Research and Development, 1960
- A Queue network simulator for the IBM 650 and Burroughs 220Communications of the ACM, 1959
- Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten StufeMathematical Logic Quarterly, 1955
- On the Completeness of Quantification TheoryProceedings of the National Academy of Sciences, 1952
- Über die Erfüllbarkeit derjenigen Zählausdrücke, welche in der Normalform zwei benachbarte Allzeichen enthaltenMathematische Annalen, 1933