大约有5,000项符合查询结果项。（搜索耗时：0.1729秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
（美）萨姆纳（J.S.Summer）著；陈文华译1981 年出版294 页ISBN：15038·新677
-
拉根（D.M.Ragan）著；邓海泉译1984 年出版217 页ISBN：13038·教183
-
K.Wilson，J.Walker著2003 年出版784 页ISBN：7506265540
-
杭州铁路局编1959 年出版64 页ISBN：7043·37
-
熊春宝，杨俊志编著2011 年出版160 页ISBN：9787503021893
本书较全面、系统地论述了测地机器人（跟踪全站仪）的测距、测角原理、误差源及其检定方法。主要内容包括：测地机器的分类与发展现状；最新测距、测角原理；系统偏差及其改正方法；动态性能的检定设备与方法、测地机.....
-
罗正大著2002 年出版260 页ISBN：7536449062
本书分别对宇宙天体的力学结构、宇宙中的一些独特构造和天文现象以全新的角度进行了系统地阐述。
-
杭州铁路局编1960 年出版57 页ISBN：K7043·88
-
杭州铁路局编1960 年出版68 页ISBN：K·7043·82
-
上海市建筑工程局编1958 年出版194 页ISBN：13119·186
-
王士珊著2016 年出版220 页ISBN：7502398040
