失效 《智能机器如何思考》肖恩・格里什（Sean…
推荐 有广告 无套路肖恩・格里什（SeanGerrish）谷歌前工程专家、普林斯顿大学的机器学习博士、机器学习极客。他曾在高频交易机构泰莎科技担任工程师，并在谷歌担任机器学习和数…
格式： PDF 请到详细页访问 来源：书行天下
大明玄天上帝瑞应图录
推荐 无广告 无套路此《大明玄天上帝瑞应图录》应为明永乐年间道士编撰。一卷，收入《道藏》洞神部记传类。本书记述明初修建武当山官观时出现各种祥瑞，如黑云感应、骞林应祥、樃梅呈瑞、神…
格式： PDF 请到详细页访问 来源：书格
机器人学：建模、控制与视觉
推荐 有广告 无套路<p>为适应工业机器人、海陆空机器人和共融机器人快速发展的需要，突出机器人学的综合性、新颖性和前瞻性等特点，《机器人学：建模、控制与视觉》一书分建模、控制与视…
格式： PDF 请到详细页访问 来源：无名图书
公理化集合论机器证明系统
推荐 有广告 无套路<p>布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用计算机证明辅助工具,可以完整构建这三大母结构的形式化系统.本书利用交互式定理证明工具Coq,…
格式： PDF 请到详细页访问 来源：无名图书