大约有3,518项符合查询结果项。（搜索耗时：0.0514秒）
为您推荐：
几何定理机器证明的基本原理
几何定理机器证明的案例
分析基础机器证明系统
不等式机器证明与自动发现
方程求解与机器证明
证明论
-
北京农业机械化学院编1961 年出版261 页ISBN：15144·266
-
北京农业机械化学院编1961 年出版252 页ISBN：15144·304
-
北京农业机械化学院编1961 年出版123 页ISBN：15144·303
-
（美）约翰·H.林哈德著；刘淑华，郭威主译2009 年出版267 页ISBN：9787543937130
渴望就是发明的驱动力，整个社会都是它的创造者。
-
Mark J.Robillard著；陈廷光译1984 年出版247 页ISBN：
-
王志良著2017 年出版354 页ISBN：9787111572671
本书是一本较为全面地介绍人工心理的研究方法和相关技术的著作。在对人工心理、人工情感和情感计算的基本概念、主要内容和应用领域进行介绍之后，分别对心理建模、情感建模、人工大脑、人脸识别、人脸合成、...
-
（日）福田务著；牛连强，张胜男译2003 年出版194 页ISBN：7030113071
本书主要介绍了电子电路的基础知识和手工制作机器人的基本方法。
-
（德）钟佩，K.著；范垂德译1961 年出版156 页ISBN：15042·1144
-
（美）Tom M.Mitchell著；曾华军，张银奎等译2003 年出版282 页ISBN：7111109937
《机器学习》展示了机器学习中核心的算法和理论，并阐明了算法的运行过程。《机器学习》综合了许多的研究成果，例如统计学、人工智能、哲学、信息论、生物学、认知科学、计算复杂性和控制论等，并以此来理解问题...
-
（美）安德鲁 V.爱德华著2016 年出版0 页ISBN：
