Empirical explorations of the geometry theorem machine
- 1 January 1960
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 143-149
- https://doi.org/10.1145/1460361.1460381
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: