登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

逻辑公式可满足性判定中的推理技术研究
出版社：中国科学院软件研究所
出版年：2022
作者：黄沛
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

逻辑公式的可满足性判定 :方法、工具及应用
  • 作者：张健
  • ISBN：7030083644
  • 出版社：科学出版社
  • 出版年：2000
...

模态逻辑公式为见证的互模拟等价判定
  • 作者：李明
  • 出版社：中国科学院
  • 出版年：2009
...

量子可分性的数学机械化判定算法及量子计算逻辑
  • 作者：袁和军
  • 出版年：2005
...

命题逻辑的可满足性问题：复杂性和算法
  • 作者：卜东波
  • 出版年：1997
...

融合文本语义和逻辑规则的知识推理技术研究
  • 作者：兰胤余
  • 出版社：中国科学院大学人工智能学院
  • 出版年：2022
...

多源遥感影像配准中误匹配点判定技术研究
  • 作者：单小军
  • 出版年：2014