资源大小： 3.17MB
发布时间： 2011-04-14
文件格式： none
下载次数： 4
分享到：

下载地址：

下载地址1
（本站为飞网专业下载站，域名：down.cfei.net）

资源简介：

关于人机交互式定理证明工具Coq的权威书籍，包括系统介绍、系统的理论基础以及递归式构造演算。


飞网下载站，免费下载共享资料，内容涉及教育资源、专业资料、IT资源、娱乐生活、经济管理、办公文书、游戏资料等。