注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. Interactive Theorem Proving and Program Development

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

  3. 所属分类：专业指导

    • 发布日期：2011-04-14
    • 文件大小：3mb
    • 提供者：jiaxiang0924

  1. coq

  2. coq's art interactive theorem proving and program development

  3. 所属分类：专业指导

    • 发布日期：2011-11-13
    • 文件大小：2mb
    • 提供者：aimboy

  1. Interactive+Theorem+Proving+and+Program+Development.

  2. Interactive+Theorem+Proving+and+Program+Development.

  3. 所属分类：专业指导

    • 发布日期：2012-10-16
    • 文件大小：3mb
    • 提供者：marissa_yao