基于时序逻辑的Resolution自动定理证明方法

收藏
  • 【作者】章岚
  • 【关键词】计算机算法
  • 【出版社】首都经济贸易大学出版社
  • 【出版日期】2021
  • 【ISBN】978-7-5638-3266-8
  • 【中图分类号】 TP301.6
  • 【内容简介】本书主要聚焦Resolution算法在时序逻辑领域的研究,介绍了把Resolution算法从表达能力较弱的时序逻辑逐渐向表达能力较强的时序逻辑进行拓展和优化的研究成果。全部展开
  • 【页码】225页
  • 【文献类型】图书
  • 【所属馆】

    浙江图书馆

  • 【获取途径】 文献传递
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。