Plane geometry theorem proving using forward chaining
- 1 January 1975
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 6 (1) , 1-23
- https://doi.org/10.1016/0004-3702(75)90013-2
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Empirical Explorations of the Geometry-Theorem Proving MachinePublished by Springer Nature ,1983
- A relaxation approach to splitting in an automatic theorem proverArtificial Intelligence, 1975
- A Human Oriented Logic for Automatic Theorem-ProvingJournal of the ACM, 1974
- Experiments With a Multipurpose, Theorem-Proving Heuristic ProgramJournal of the ACM, 1968