几何定理机器证明的案例百度云网盘PDF下载

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有513,735项符合查询结果项。（搜索耗时：0.6162秒）

为您推荐：几何定理机器证明的基本原理挑战思维极限勾股定理的365种证明证明的故事从勾股定理到现代数学几何最著名24个定理证明及应用几何定理的机械化证明分析基础机器证明系统

罗马尼亚冶金和机器工人的生活

查看PDF目录购买本书
沈云译1956 年出版32 页ISBN：3007·84
机器人发展的历史、现状、趋势

查看PDF目录购买本书
郭宇光主编1989 年出版205 页ISBN：7560302009
本书从技术、经济与社会相结合的角度
划时代的超越机器人技术

查看PDF目录购买本书
潘进，周易编写1997 年出版95 页ISBN：7806002332
淘气的机器人

查看PDF目录购买本书
关小敏著2007 年出版151 页ISBN：7500784872
本书是青年作者关小敏最新创作的儿童漫画小说，由若干前后相关的小故事组成。作者在小说的形式中大力融合日本漫画的夸张、风趣等，深受孩子的喜爱。...
概念、定理、公式大全高中数学卷

查看PDF目录购买本书
李玉新，鲍小宁编著2007 年出版252 页ISBN：9787801719768
本书收录初中教材中涉及的概念、定理、公式等，有助于学生系统地掌握所学知识。
超人神奇的机器生物

查看PDF目录购买本书
（英）西蒙·比柯罗夫特原著；仝晓红译2002 年出版32 页ISBN：7533720199
本书可以带领读者到一个令人难以置信、却又险象还生的世界，那里有机器生物、活体计算机、机器人和克隆生物等。
工业机器人的操作机设计

查看PDF目录购买本书
马香峰等著1996 年出版211 页ISBN：7502418296
机器制造厂流水生产的组织

查看PDF目录购买本书
捷尔任斯基工程技术学会编；高应劭等译1960 年出版233 页ISBN：15033·1505
机器设计的经济分析

查看PDF目录购买本书
（苏）康逊（А.С.Консон）著；哈尔滨工业大学生产组织教研室译1958 年出版258 页ISBN：15033·802
迈向新世纪的中国机器人国家863计划智能机器人主题回顾与展望

查看PDF目录购买本书
谈大龙主编；国家863计划智能机器人主题专家组编2001 年出版293 页ISBN：7538133607
本书分为七个部分，完整地记录了从事机器人研究开发的新老科学家在863精神指引下取得成功的历程。