Home›Books›Machine proofs in geometryMachine proofs in geometryby Chou, Shang-Ching · 1994Popularity 1No description available.AxiomsData processingAutomatic theorem provingGeometry, data processing