大约有5,000项符合查询结果项。（搜索耗时：0.0215秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
韩守身编著1994 年出版128 页ISBN：7115053669
-
李冠峰主编1997 年出版336 页ISBN：7534916976
-
朱照宏，方守恩，陈雨人编著2008 年出版267 页ISBN：9787114072925
本书在选材中，采用道路规划和设计中先进的学术思想和理论研究，兼容和评述国内外的科技成果，着重叙述路网规划方法、道路安全与环境、路线方案评价与优化、技术标准研究、道路测设新技术等。...
-
龚瑞庚，于定国编1998 年出版344 页ISBN：711402925X
-
李栓成，王天颖编1998 年出版337 页ISBN：781045448X
-
А.И.БАЛКАШИН1956 年出版323 页ISBN：
-
А.И.БАЛКАШИН1956 年出版119 页ISBN：
-
肖永清，陆刚主编2006 年出版498 页ISBN：7115146802
本书介绍了新型轿车的电控燃油喷射发动机的发展变迁，电控燃油喷射系统的结构原理和使用维护。
-
（苏）辽林（Н.Б.Лялин），（苏）斯特烈列茨基（Н.Н.Стрелецкий）著；邓守简等译1958 年出版79 页ISBN：15043·575
-
张未编2001 年出版203 页ISBN：7113040721
