当前位置：首页 > 名称
大约有5,000项符合查询结果项。（搜索耗时：0.0140秒）
为您推荐： 数学猜想与证明 数学天书中的证明 title数学写真集 第2季无需语言的证明 一部五幕数学证明 数学证明的艺术 证明
-
数学与现代科学技术丛书 可证明安全算法与协议
张华，温巧燕，金正平著2012 年出版522 页ISBN：9787030335401本书以作者及其课题组多年的研究成果为主体，结合国内外学者在可证明安全算法与协议方面的代表性成果，系统介绍了可证明安全性理论和技术，主要内容包括可证明安全理论的基本思想及相关的数学、密码学基础（第一部...
-
-
-
-
-
-
-
-
-
高阶逻辑辅助证明系统
（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...