大约有7,000项符合查询结果项。（搜索耗时：0.0150秒）
为您推荐：
几何定理机器证明的基本原理
挑战思维极限 勾股定理的365种证明
证明的故事 从勾股定理到现代数学
几何最著名24个定理证明及应用
几何定理的机械化证明
分析基础机器证明系统
-
钟寿国编著1993 年出版149 页ISBN：7307015536
-
中尾良一著；唐琼渝译1993 年出版159 页ISBN：9575293606
-
刘兴良，刘萍编著1993 年出版135 页ISBN：756390221X
本书介绍了电脑的组成、种类、特点等基础知识和在各行各业中从事各种工作具有各种特点的当代电脑与机器人。
-
李春明著1993 年出版314 页ISBN：7504110485
-
田盛丰等编著1993 年出版352 页ISBN：7810137352
-
（美）R.H.Perry1993 年出版87 页ISBN：7502510370
-
王树国等著1993 年出版182 页ISBN：7118010413
-
徐宏文等著1993 年出版207 页ISBN：7561804903
本书在几何学领域里提出了一种用画法几何讲解析几何的新体系
-
熊有伦等编著1993 年出版352 页ISBN：7111035585
本书介绍了机器人的基础理论和关键技术
-
（俄）Ю.М.索罗门采夫主编；干东英，安永辰译；杨桂茂，张珣校1993 年出版149 页ISBN：7111033078
