面向计算机科学的数理逻辑系统建模与推理中文版logicincomputerscience资源-CSDN文库

面向计算机科学的数理逻辑系统建模与推理

5星 · 超过95%的资源需积分: 50 197 浏览量 2010-11-21 17:27:59 上传评论 16 收藏 11.82MB PDF 举报

资源推荐

资源评论

内容反馈

晓晓狸

2014-02-10

扫描版。。阅读效果一般
zhaojq6624

2014-01-03

的确是中文版的
zcxfyt

2017-11-08

很好，经典教材。
writen

2013-11-14

现在在学形式化方法，非常有用
yuanshireng

2015-01-12

不错非常不错

前往

页

tianshuo001

粉丝: 0
资源: 1

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈

feedback-tip