ISBN 9810215843 books & textbook
MACHINE PROOFS IN GEOMETRY: AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEOREMS (Series on Applied Mathematics, 6)
Chou, Shang-Ching Gao, Xian-Shan Zhang, Jing-Zhong
World Scientific Pub Co Inc /1994-04-01 Hardcover / 480 Pages
isbn-10: 9810215843 / isbn-13: 9789810215842
