下载 >  课程资源 >  专业指导 > 自动定理证明基础(计算机)

自动定理证明基础(计算机)

2009-06-09 上传大小:3MB
分享
计算机的自动定理证明, 命题逻辑与一阶逻辑谓词介绍, SLD归约介绍,many-sorted一阶谓词逻辑等
综合评分:5
开通VIP 立即下载

评论共有1条

刺客猎人 2012-08-24 16:55:56
这样的书已经很少了,如果是中文的就更好了
 
A computer-checked proof of the Four Colour Theorem 立即下载
积分/C币:3
广东省计算机二级考试《网页制作基础》样题、大纲 立即下载
积分/C币:3
逻辑与计算机设计基础 第5版 Logic & Computer Design Fundamentals 5th edition 立即下载
积分/C币:10
计算机组成原理实验报告一基础汇编语言程序设计 立即下载
积分/C币:3
北邮2016年计算机学科基础综合803考研真题参考答案 立即下载
积分/C币:12
2018计算机学科专业基础综合考试大纲 408 pdf 立即下载
积分/C币:2
2018考研计算机学科专业基础综合408考试大纲 立即下载
积分/C币:2
交互式定理证明与程序开发 Coq归纳构造演算的艺术. 立即下载
积分/C币:12
834计算机专业基础综合--计算机考研的一门计算机专业课内容(华科) 立即下载
积分/C币:3
2017年北邮803计算机学科基础综合真题参考答案(学生整理,非官方) 立即下载
积分/C币:10

热点文章

VIP会员动态

推荐下载

Vizing定理证明
3C币 5下载
stolz定理证明
3C币 79下载
卷积定理证明
3C币 141下载
408计算机综合基础
2C币 4下载
关闭
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

自动定理证明基础(计算机)

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
为了良好体验,不建议使用迅雷下载
开通VIP
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

若举报审核通过,可返还被扣除的积分

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: