大约有800项符合查询结果项。（搜索耗时：0.0631秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
拉克洛瓦 韦达定理 证明方法
交互式定理证明与程序开发
几何证明
-
南京航空学院，西北工业大学，北京航空学院1980 年出版380 页ISBN：
-
贺元骅主编2009 年出版234 页ISBN：9787801108951
本书从整个航空安全体系建构的角度，来探讨中国民航航空保安的现状和发展。
-
殷兴良主编2003 年出版307 页ISBN：7801447085
本书系统地阐述了高速飞行器光学成像探测制导的基础技术，包括气动光学的基本理论、研究方法等。
-
齐永强主编；陈红英副主编2017 年出版243 页ISBN：9787563235001
-
-
-
任思聪著1988 年出版551 页ISBN：7800341259
-
黄国兴编著1991 年出版351 页ISBN：9572101250
-
陈哲编著1986 年出版244 页ISBN：15244·0068
-
王振时著1957 年出版76 页ISBN：15034·103
