首页 下载 课程学习 软件测试 下载详情 Dynamic Logic 上传:IMWTJ 浏览: 10 推荐: 0 文件:PDF 大小:2.23MB 上传时间:2021-01-22 11:31:08 版权申诉 动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础(Foundations of Computing)系列书之一,是动态逻辑领域最经典的教科书。 立即下载 上传资源 微信扫一扫 用户评论 提交评论