Mathematics Mechanization: Mechanical Geometry Theorem-ProvingPDF电子书下载
- 电子书积分：14 积分如何计算积分？
- 作 者：Mechanical Geometry Problem-Solving and Polynomial Equations-Solving
- 出 版 社：Science Press/Kluwer Academic Publishers
- 出版年份：2000
- ISBN：7030066863
- 页数：420 页
图书介绍：
《Mathematics Mechanization: Mechanical Geometry Theorem-Proving》目录
标签：
相关图书
作者其它书籍
- 《The Engineering uses of coherent optics》the Institution of Mechanical Engineers ; edited by Elliot R. Robertson. 1976
- 《Mathematics Mechanization: Mechanical Geometry Theorem-Proving》Mechanical Geometry Problem-Solving and Polynomial Equations-Solving 2000
- 《Topology》geometry and quantum field theory : proceedings of the 2002 Oxford symposium in the honour of the 60th birthday of Graeme Segal 2004
- 《Mirror》sword and jewel the geometry of Japanese life 1973
- 《A Treatise on algebra volume II:on symbolical algebra》and its aoolications to the geometry of position 2005
- 《Semigroups in algebra》geometry 2222
- 《Probability》Geometry and Integrable Systems 2008
- 《CUBIC FORMS ALGEBRA》GEOMETRY 1986
- 《CONTEMPORARY MATHEMATICS 584 ANALYSIS》GEOMETRY AND QUANTUM FIELD THEORY 2012
- 《DIMACS Series In Discrete Mathematics and Theoretical Computer Science Volume 72 Data Depth:Robust M》Computational Geometry and Applications 2006
出版社其它书籍
- 《竞争战略 全译珍藏版》（美）迈克尔·波特（Michael E. Porter）著 2012
- 《网络互联技术手册 第2版》（美）（K.唐斯）Kevin Downes等著；包晓露等译 1999
- 《新版交换式以太网和快速型以太网 第2版》（美）（R.布雷耶）Robert Breyer，（美）（S.赖利）Sean Riley著；肖文贵等译 1997
- 《摄影100关键词》（英）克拉克著 2011
- 《守望百年 中英文对照爱情长诗》蔡丽双著；张智中译 2014
- 《环境政策概要》（英）卡罗琳·斯奈尔（Carolyn Snell）著；宋伟译 2017
- 《驼铃 中-英-波兰文对照诗集》蔡丽双著；张智中，（波兰）博古米娜·雅尼卡译 2015
- 《爱海情帆 中-英-罗马尼亚文对照爱情长诗》蔡丽双著；张智中，德拉戈斯·巴尔布译 2016
- 《准备，开始，哎哟》（美）弗兰·马努斯肯著；（美）黛安娜·帕尔米西若绘；魏亚西译 2014
- 《埋藏在后院》（美）盖尔·赫尔曼著；（美）杰里·斯马斯绘；筱舟译 2014