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

当前位置：首页 > 名称

图书搜索：

出版时间：

至

大约有10,000项符合查询结果项。（搜索耗时：0.0276秒）

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

无人的战争与机器人

查看PDF目录购买本书
孙广来，张娟主编2006 年出版198 页ISBN：7204084985
本书是科普知识读物，从物理化学到天文地理，深入浅出地讲解理论知识，而且注重分析人们见到的各种现象和实际事物，既有科学性、知识性，又有可读性。...
伏特和机器人的心脏

查看PDF目录购买本书
（意）卢卡·诺维利著绘2005 年出版112 页ISBN：7111149084
本书是由意大利著名作家、画家诺维利创作的科普系列作品。书中采取第一人称方式，分为若干独立的部分，每一部分都有一位伟大的科学家向你亲口讲述他的故事。...
喜欢猜谜语的国王万能机器人考博搬过来了！韩国引进版

查看PDF目录购买本书
韩国黄牛科普图书编辑委员会著；千太阳文化发展（北京）有限公司译2015 年出版64 页ISBN：7547121454
赛尔号古怪小百科第3辑机器人会抢人类的饭碗吗？ 7-12岁

查看PDF目录购买本书
上海淘米网络科技有限公司编著；古怪天才改编2018 年出版71 页ISBN：9787558516153
《赛尔号古怪小百科. 第3辑-机器人会抢人类的饭碗吗？》以赛尔号漫画为切入点，根据5～8岁孩子的兴趣点、语言习惯、专注能力等方面，量身打造的儿童科普漫画百科全书。本书主要向小读者介绍了各个方面的百科知识，...
纯粹几何与非欧几何

查看PDF目录购买本书
和尔盖特（T.F.Holgate），武咨（F.S.Woods）著；郑太朴译1930 年出版137 页ISBN：
《走近科学》精选丛书智能机器人

查看PDF目录购买本书
郭之文2019 年出版243 页ISBN：9787543979635
万有文库第二集七百种 362 活机器下

查看PDF目录购买本书
王云五主编；希尔著；薛以恒译1935 年出版214 页ISBN：
万有文库第二集七百种 362 活机器上

查看PDF目录购买本书
王云五主编；希尔著；薛以恒译1935 年出版104 页ISBN：
万有文库第二集七百种活机器上下

查看PDF目录购买本书
王云五主编；A.V.Hill原著；薛以恒译述1935 年出版214 页ISBN：
几何原本 3

查看PDF目录购买本书
利玛窦口译；徐光启笔受；王云五主编1939 年出版276 页ISBN：

1 2 3 4 5 6 7 8 9 10 下一页

学科分类