TOWARD MECHANIZATION OF GEOMETRY — SOME COMMENTS ON HILBERT'S GRUNDLAGEN DER GEOMETRIE”
- 1 June 1982
- journal article
- Published by Elsevier in Acta Mathematica Scientia
- Vol. 2 (2) , 125-138
- https://doi.org/10.1016/s0252-9602(18)30628-3
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: