Dynamic Logic 上传者：IMWTJ 2021-01-22 11:31:08上传 PDF文件 2.23MB 热度 40次 动态逻辑是用于程序推理的最主要的形式系统之一。改书是MIT出版社计算科学基础(Foundations of Computing)系列书之一,是动态逻辑领域最经典的教科书。 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
