大约有3,518项符合查询结果项。（搜索耗时：0.0564秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
郑军，董仁威，姚海军主编；王晋康著2016 年出版178 页ISBN：7531565919
本书收录了当代著名科幻作家王晋康的中短篇佳作《可爱的机器犬》《泡泡》《四重紧身衣》《失去的瑰宝》《天下无贼》《我们向何处去》等。其中《泡泡》是2007年中国科幻银河奖获奖作品，以两个热爱科学的少年...
-
CAVE教育团队著2010 年出版354 页ISBN：9866432255
-
恩·德·尼基廷著1956 年出版92 页ISBN：805601
-
张玉茹，李继婷，李剑锋著2007 年出版213 页ISBN：7111204972
本书介绍了灵巧手的含义，灵巧手的运动学特征等。
-
（苏）米哈列夫（Михалев，М.Ф.）主编；龚斌译1992 年出版365 页ISBN：750251032X
-
（苏）波波夫（Е.П.Попов）著；遇立基，陈循介著1983 年出版374 页ISBN：15033·5485
-
钱晓龙主编2009 年出版349 页ISBN：9787111257974
本书立足于教会从事自动化专业的工程技术人员和自动化专业的学生.
-
（苏）巴格达诺维奇（Л.Б.Богданович）著；姜忱译1983 年出版172 页ISBN：15033·5566
-
中央人民政府第一机械工业部生产管理司编1952 年出版115 页ISBN：0099608
-
杨晓帆著2007 年出版139 页ISBN：7535749356
本书介绍了科幻小说《我·机器人》概况，逐一介绍分析了其间的九个故事，作者阿西莫夫的逸闻趣事，科幻小说中的机器人三定律和机器人学，机器人的发展简史，走出科幻小说的未来猜想，以及相关的书籍介绍。...
