大约有3,518项符合查询结果项。（搜索耗时：0.0633秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
（日）多湖辉著；杨政华译1996 年出版188 页ISBN：7219030509
-
徐缤昌，阙志宏等编著1991 年出版405 页ISBN：7561202865
高等学校教材:本书论述了机器人的运动模型及其控制的原理和技术，介绍了较成熟的机器人控制方法。
-
北京石油学院炼油厂机械教研室编1961 年出版312 页ISBN：K15165·479（石油71）
-
（英）韦尔斯著；叶旭军译2006 年出版204 页ISBN：7801735323
本书讲述一位被称作时空旅行者的科学家在遥远将来的冒险经历，最终却因私欲丧失了性命。
-
胡忆沩等编著2010 年出版293 页ISBN：9787122069054
本书介绍了知识和数据、常用材料、化工机械专业英语、常用标准简介、化工机械制图基础等。
-
蒋刚，龚迪琛，蔡勇等编著2011 年出版225 页ISBN：9787564309084
本书对工业机器人的运动学、动力学、基本控制系统等内容进行了简单介绍，重点介绍了机器视觉、机器听觉、移动机器人的自主定位新技术。
-
（美）理查德·摩雷（Richard M.Murray）等著；徐卫良，钱瑞明译1998 年出版296 页ISBN：711106058X
-
（日）片方善治著；杨逢春译1987 年出版123 页ISBN：15143·6249
-
（美）德莱塞，T.原著；（苏）克列涅斯，C.A.改写 北京外国语学院英语系课外阅读教材小组选注1962 年出版110 页ISBN：9017·364
-
（苏）萨切利主编；王英等译1963 年出版512 页ISBN：15165·1642
