当前位置:首页 > 名称
大约有19,096项符合查询结果项。(搜索耗时:0.1296秒)
为您推荐: 初中数理化概念公式定理手册 龙门中学生工具书 初中数理化公式定理完全手册 中学数理化公式定理手册 title高中数理化概念公式定理手册 常备高中数理化公式定理词典 精选 高中数理化生超级公式定理大全
-
-
-
-
交互式定理证明与程序开发 Coq归纳构造演算的艺术
YvesBertot,PierreCasteran等著2010 年出版432 页ISBN:9787302208136Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论,即归纳构造演算。这本书给出了大量的例子,所有这些例子都可以在计算机上执行。...
-
-
-
-
-
-
学科分类
出版时间