Mathematics Mechanization: Mechanical Geometry Theorem-Proving

出版社

Science Press/Kluwer Academic Publishers

出版时间

2000

ISBN

7030066863

标注页数

420 页

PDF页数

433 页