大约有3,518项符合查询结果项。（搜索耗时：0.0779秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
田羽主编1997 年出版261 页ISBN：7806061495
-
-
郭宇光主编1989 年出版205 页ISBN：7560302009
本书从技术、经济与社会相结合的角度
-
潘进，周易编写1997 年出版95 页ISBN：7806002332
-
梦寒著1999 年出版148 页ISBN：780127606X
-
-
中国人工智能学会，全国智能机器人创新联盟编2016 年出版202 页ISBN：7518411030
-
关小敏著2007 年出版151 页ISBN：7500784872
本书是青年作者关小敏最新创作的儿童漫画小说，由若干前后相关的小故事组成。作者在小说的形式中大力融合日本漫画的夸张、风趣等，深受孩子的喜爱。...
-
吉普洛夫著1953 年出版177 页ISBN：805214
-
（德）斯蒂格（Steger，C.），（德）尤里奇（Ulrich，M.）（德）威德曼（Wiedemann，C.）著；杨少荣等译2008 年出版497 页ISBN：9787302181965
本书是一本关于机器视觉算法与应用的中英文对照版教材。
