On the Decision Problem and the Mechanization of Theorem-Proving in Elementary Geometry
- 1 January 1984
- other
- Published by American Mathematical Society (AMS) in Contemporary Mathematics
- Vol. 29, 213-234
- https://doi.org/10.1090/conm/029/12
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: