大约有3,518项符合查询结果项。(搜索耗时:0.0520秒)
为您推荐:
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
-
刘以林主编;丁岚编著1998 年出版126 页ISBN:7800054179
暂缺《中国青少年科普知识文库(1-100)》简介
-
-
杨义先著2016 年出版167 页ISBN:9787563548989
如何利用人工智能和计算机等技术,创作出高水平的文学作品?这将是一个理论和技术难度很大,但是,应用前景十分美妙的领域。《机器文学》是老少皆宜的休闲知识类书籍,适合于所有背景的读者,甚至中学生都能享受其大.....
-
(英)戴维·杰弗里斯著2011 年出版41 页ISBN:9787533893125
本书以简洁的文字和精美的图片,展示了人类以及人类的机器人伙伴离开地球,去探索未知的神奇世界——行星和其他星系。收集了各种各样既能反映当今世界先进航天技术又令读者着迷的太空机器人。从英国火冠出版社...
-
(美)PeterHarrington;李锐,李鹏,曲亚东,王斌译者2013 年出版316 页ISBN:9787115317957
本书共四部分15章,4个附录,分别从机器学习的定义、利用回归来预测数字价值、非监督式学习,以及其他工具等方面阐述了机器学习的基础概念和实践应用,为工程控制和企业的智能管理提供了专业而独到的见解。本书适...
-
上海社会科学院经济研究所编著1980 年出版111 页ISBN:4074·227
-
日本日经制造编辑部著;张源等译2016 年出版209 页ISBN:7506092203
-
(苏)尤力也夫(Н.М.Юрьев)著;冯珹译1954 年出版266 页ISBN:
-
李蕾,王小捷编著2016 年出版294 页ISBN:9787302423867
将通过机器智能的概念和机制模拟研究方法(信息——知识——智能转换)把已有的人工智能相关研究领域中多年来相对独立发展的几大学派融为一体,包括结构模拟(人工神经网络)、功能模拟(专家系统)和行为模拟(感知......