当前位置：首页 > 名称
大约有151,454项符合查询结果项。（搜索耗时：0.2375秒）
为您推荐： 正版机器学习周志华著人工智能及其应用零基础入门书电脑编程程序设计数据分析神经网络与深度 机器证明 几何定理机器证明的案例 几何定理机器证明的基本原理 python大数据分析与机器学习商业案例实战 并联机器人刚体动力学分析
-
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...
-
-
-
-
中考几何证明题分析与训练
叶天碧等编2003 年出版254 页ISBN：7534228751本书以讲清解题思路为出发点，将初中数学学习难点之一——平面几何证明中如何添辅助线，进行归纳、剖析，从大量实例中总结出添辅助线的一般规律，构筑了几个实用的知识板块：基础结构及其结论、添线规律、常用块状图...
-
学科分类
出版时间