大约有4,000项符合查询结果项。(搜索耗时:0.0401秒)
为您推荐:
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
-
洋洋兔编绘2011 年出版147 页ISBN:9787564043766
本书是写给少年儿童的机器人“小百科”!机器人的发展历程是怎样的?它有哪些种类、有什么作用?它的发展前景如何?这些问题你都了解吗?翻开这本书,和小野人一起,从中国古代有记载的第一台自动人开始,去了解真正......
-
徐建兴著2014 年出版112 页ISBN:7030418142
-
(苏)М.М.格拉西莫夫著;吴新智等译1958 年出版230 页ISBN:
-
李德葆,徐平主编1994 年出版482 页ISBN:7534106192
-
(苏)杜比宁主编;赵世绪等译1974 年出版441 页ISBN:
-
А.Л.塔赫他间著;胡先骕译1954 年出版54 页ISBN:
-
侯云德主编1985 年出版340 页ISBN:14048·5091
-
田立新,胡春林编著1989 年出版375 页ISBN:7534506786
-
(美)D.S.古德塞尔(David S.Goodsell)著;易军,仲力译2001 年出版135 页ISBN:7502752595
书中的生命机器图是结构生物学中最具有启发性的部分,生命的原理在这里被非常优雅地表达出来……本书最具天才的地方是其深入浅出……用简洁而大胆的手法表达出最重要的观点……将最重要的原理讲解得通俗易懂...