大约有70,000项符合查询结果项。（搜索耗时：0.0301秒）
为您推荐：
几何定理机器证明的案例
几何定理的机械化证明
几何最著名24个定理证明及应用
交互式定理证明与程序开发
拉克洛瓦 韦达定理 证明方法
几何证明
-
（美）古特曼著；王忆镭绘；筱舟译2014 年出版145 页ISBN：9787539769394
本丛书是一套收集美国著名儿童文学作家经典名作的丛书。该系列入选的作品都是美国权威机构强烈推荐的作品，且受到评论界的好评和读者的欢迎。《会写作业的机器》是其中一册，讲述了发生在大峡谷学校师生身上的...
-
马驰著2004 年出版535 页ISBN：7503415606
本书作者用传记文学记述了毛人凤的家世经历等。
-
（美）约翰逊著2014 年出版324 页ISBN：9787536478572
本短篇集包括《机器人的信条》、《26只猴子》等二十篇科幻作品。作品题材广泛，内容涉及智能机器人、基因工程、外星文明的接触和碰撞、宇宙探险、银河系漫游、星球环境保护、星际开拓等。部分作品是获“雨果...
-
（美）福翠尔著2012 年出版243 页ISBN：9787548407515
本书是美国著名推理小说作家杰克·福翠尔的经典短篇小说合集，包括《街头卖艺人》《九十七号囚犯》《失忆的人》《打结的绳子》《致命的密码》等篇，构思巧妙、逻辑性强，读者在作者精心布置的逻辑密网中能够充分...
-
桃小乔编2011 年出版216 页ISBN：9787513303576
本书是一部长篇青春小说。杜小洛来到了神秘的机器人古堡，本想在古堡中当美美的公主，却三番两次被第一美男机器人捉弄。当淘气的火星系少女对上冷焰绝美的机器人帅哥，会碰撞出怎样曼妙的火花？而他能否打破机器人...
-
（美）福翠尔著2012 年出版256 页ISBN：9787548407478
本书收录了美国著名推理小说作家杰克·福翠尔的两部经典中篇小说《微笑的上帝》和《探索金盘》，这两部小说都以被誉为“思考机器”的杜凡森教授为主人公，情节设计巧妙、语言通俗易懂，读者在作者精心布置的逻辑...
-
王勇英著2004 年出版208 页ISBN：7539524731
少年古美是个机智勇敢的小侦探。暑假里，他与同学去雪山游览，因雪崩困入一个雪洞，却意外发现一只冻僵了的叨着一截断手的雪狼狗。通过电脑影像的模拟与再现，他们发现，这只手是属于大富翁的女儿白冷月，而这只雪狼.....
-
（美）詹妮弗·里夫斯·邦纳（Jennifer Reaves Bouani）著2016 年出版104 页ISBN：9787111541332
泰勒的万能机器讲述了一个名叫泰勒的孤儿，发明了一台机器来帮助他更快的完成作业，并开始了生产这种机器的生意。在此过程中他要不断承受另一个伟大企业家的考验，直到他自己成为一名成功的商人并实现了环游世界...
-
波利克，伯维斯编写；杜安蒂戴尔插图；秦佳豪编译2006 年出版108 页ISBN：7538620788
-
（德）迪尔克·海尼希著；喻之晓译2017 年出版27 页ISBN：9787546812557
图画书。疯狂教授系列之一。脑洞大开的教授新研制了一台机器人，可是研发过程中出现了一些状况，原本可以修理所有东西的机器人，变成了无敌破坏王。糟糕的是，机器人跑出了实验室，走到哪里，哪里就变得乱糟糟.书稿......
