Resolution calculi for discrete temporal logics 简介
本书主要聚焦在Resolution算法在时序逻辑领域的研究。详细介绍了把Resolution算法从表达能力较弱的时序逻辑逐渐向表达能力较强的时序逻辑进行拓展和优化的研究成果, 主要涉及以下几种时序逻辑: (1) 线性时序逻辑 (Propositional Linear-Time Temporal Logic) (2)计算树逻辑 (Computation Tree Logic) 和其扩展 (Extended Computation Tree Logic) (3) 交互时序逻辑(Alternating-Time Temporal Logic)。并列题名： 基于时序逻辑的Resolution自动定理证明方法 chi
Resolution calculi for discrete temporal logics 电子版图书下载地址：
本书有电子版，如无法下载 请加我们Q群 766799536 联系索取
温馨提示：
关于我们 - 网站帮助 - 版权声明 - 友情连接 - 网站地图
本站所收录作品、社区话题、书库评论及本站所做之广告均属其个人行为，与本站立场无关
本站所有的作品，图书，资料均为网友更新，如果侵犯了您的权利，请与本站联系，本站将立刻删除(E-MAIL：847151540@qq.com)
Copyright © 2005-2016 www.gbook.cc All Rights Reserved.备案号