大约有200项符合查询结果项。（搜索耗时：0.0079秒）
为您推荐：
分析基础机器证明系统
几何定理机器证明的案例
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
陈湘波主编2013 年出版289 页ISBN：9787549403127
本书是深圳关山月美术馆举办的“四方沙龙”讲座2010年合集。2010年是深圳成立特区30周年，本年度的讲座约请各方专家学者围绕深圳的城市建设及规划、深圳的公共艺术、美术机构、艺术教育等视觉文化的发展、特...
-
笑江南编绘2018 年出版155 页ISBN：9787514847659
本套机器人漫画介绍机器人的发展历程、机器人的应用领域以及目前各领域拥有尖端技术的机器人（着重介绍与生活息息相关的领域）。将机器人相关知识融入欢乐、幽默、感人的冒险故事，让小读者在轻松阅读的同时，了解...
-
（法）德·格罗特，（法）蒂尔克著/绘；（法）卡埃尔色彩；李秉刚翻译2014 年出版46 页ISBN：7514818185
-
王小洋著2013 年出版279 页ISBN：7549219155
-
2222 年出版127 页ISBN：7204034651
-
2222 年出版64 页ISBN：7538716203
聪明宝宝学画卡通的好帮手，本书教你画出大头儿子和小头爸爸！
-
（英）约翰·基帕克思原著；立正改编；赵鸣绘画1981 年出版62 页ISBN：81062194
-
孙元伟著2007 年出版107 页ISBN：7535034128
本书属于生活幽默漫画，围绕主人公小布丁与宠物宝贝猪展开。小布丁是一个淘气的男孩，有一套自己的人生哲学。本书由多个小故事组成，每个故事单独成立。...
-
贾德江等绘；王景琨编文2002 年出版140 页ISBN：7534226244
-
藤子不二雄原著1994 年出版238 页ISBN：7530410628
