88x
Filetype PDF
File size 2.69 MB
Source: www.mmrc.iss.ac.cn
File: Geometry Pdf 168286 | Book Area
MACHINEPROOFSINGEOMETRY Automated Production of Readable Proofs for Geometry Theorems Shang-Ching Chou Department of Computer Science TheWichita State University Xiao-Shan Gao Institute of Systems Science Academia Sinica, Beijing Jing-Zhong Zhang Chengdu ...
Filetype PDF | Posted on 25 Jan 2023 | 2 years ago