大约有3,518项符合查询结果项。（搜索耗时：0.0544秒）
为您推荐：
几何定理机器证明的案例
分析基础机器证明系统
几何定理机器证明的基本原理
不等式机器证明与自动发现
方程求解与机器证明
证明责任论
-
李云江主编2011 年出版279 页ISBN：9787111333708
本书详细叙述了机器人的起源、发展、分类、应用、组成、功能及应用前景，较系统地阐述了机器人技术的基础知识等。
-
林汝铎，赵禾生著1954 年出版89 页ISBN：
-
吕云翔，马连韬，刘卓然，张凡，张程博编著2018 年出版159 页ISBN：9787302496595
本书全面系统地介绍了机器学习的基本概念、预备知识、主要思想、研究进展、基础技术、应用技巧，并围绕当前机器学习领域的热点问题展开讨论。...
-
冯志伟著1994 年出版259 页ISBN：7800067440
-
阎焕然主编1985 年出版221 页ISBN：15043·5365
-
余达太等著1999 年出版321 页ISBN：7502423168
-
石纯一等著1997 年出版171 页ISBN：7302024324
-
NICK PENTREATH2016 年出版319 页ISBN：7564160913
-
郭俊良，王培士编译1977 年出版302 页ISBN：
-
渡？，茂著；赖耿阳译1986 年出版184 页ISBN：
