大约有3,518项符合查询结果项。（搜索耗时：0.0526秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
苏联机器制造部劳动组织与生产机械化中央研究所编著；冯珹译1958 年出版249 页ISBN：15033·1008
-
蔡自兴编著2009 年出版363 页ISBN：9787302207610
本书介绍机器人学的基本原理及其应用，全面反映出国内外机器人学研究和应用的最新进展，是一部系统和全面的机器人学著作和教材。
-
（日）森政弘主编；铃木泰博编著；杨晓辉译2002 年出版158 页ISBN：7030101057
本书作者总结自己多年指导学生参加机器人竞赛的经验，从机器人的启蒙知识入手，以通俗易懂的形式，介绍了参加机器人竞赛的相关知识。
-
吕学诗著；卞毓麟主编2003 年出版197 页ISBN：7534352983
本书介绍机器人在国内外的发展，论述了机器人的技术知识与发展前景。
-
李利杰改编2009 年出版150 页ISBN：9787530442449
《世界经典探险名著》系列选取8篇出自文学大师笔下的经典探险名著，针对小学低年级读者的阅读兴趣和特点改编而成。每本书的主题均为探险，既有文学名著本身的文学性，又有探险主题所带来的惊险性、传奇性和趣味...
-
-
上海动力机器制造学校工程热力学与机器学学科委员会编译1959 年出版423 页ISBN：15119·144
-
潘筠编1993 年出版301 页ISBN：7111037111
主要介绍了产品设计标准化
-
（美国）SERVO杂志著；符鹏飞，况琪，雍琪，赵俐译2017 年出版205 页ISBN：7115451767
-
桑卡2016 年出版645 页ISBN：7302426852
