An examination of the geometry theorem machine
- 1 January 1970
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 1 (3-4), 171-187
- https://doi.org/10.1016/0004-3702(70)90005-6
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Semi-Automated MathematicsJournal of the ACM, 1969
- A review of automatic theorem-provingProceedings of Symposia in Applied Mathematics, 1967
- A Proof Method for Quantification Theory: Its Justification and RealizationIBM Journal of Research and Development, 1960
- A note on syntactic symmetry and the manipulation of formal systems by machineInformation and Control, 1959
- Intelligent Behavior in Problem-Solving MachinesIBM Journal of Research and Development, 1958