大约有5,000项符合查询结果项。(搜索耗时:0.0844秒)
为您推荐:
几何最著名24个定理证明及应用
几何定理机器证明的基本原理
拉克洛瓦 韦达定理 证明方法
几何定理的机械化证明
几何定理机器证明的案例
交互声音与影像创作教程
-
中国地理学会自然地理专业委员会,陈传康主编1990 年出版229 页ISBN:7535105319
-
张永波等著2001 年出版108 页ISBN:7116032002
-
金强编写2012 年出版144 页ISBN:9787546382333
本书主要讲述海洋的开发历史、海洋矿产新能源——可燃冰、海洋药物与保健食品开发、海洋药物与保健食品开发、迅速推进中的新海洋开发与未来的海洋技术等。...
-
冯雅丽,李浩然编著2004 年出版278 页ISBN:7502760857
本书全面介绍深海矿产资源的开发与利用。
-
张超,余国培等编著1985 年出版150 页ISBN:12010·045
-
王磊编著1993 年出版211 页ISBN:7805907935
-
薛津生,王静涛编著2001 年出版200 页ISBN:7500757301
解读生命:生物工程与人类健康,ISBN:9787500757306,作者:赵仲龙,吕秀齐编著
-
中国科学院西南资源开发考察队,关志华主编1991 年出版103 页ISBN:7504604437
-
樊红编著1999 年出版399 页ISBN:7810306162
-
荣启宏主编2002 年出版291 页ISBN:7502137726