《Mathematics Mechanization: Mechanical Geometry Theorem-Proving》PDF下载

• 购买积分：14 如何计算积分？
• 作　　者：Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
• 出 版 社：Science Press/Kluwer Academic Publishers
• 出版年份：2000
• ISBN：7030066863
• 页数：420 页