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

带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究与工具
出版年：2017
作者：古新才
资源类型：图书
细分类型：学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解
  • 作者：高冲
  • 出版社：中国科学院软件研究所
  • 出版年：2019
...

归纳逻辑与归纳悖论
  • 作者：陈晓平
  • ISBN：7307011557
  • 出版社：武汉大学出版社
  • 出版年：1994
...

归纳逻辑导论
  • 作者：江天骥
  • ISBN：7217000912
  • 出版社：湖南人民出版社
  • 出版年：1987
...

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

归纳逻辑与人工智能
  • 作者：王雨田
  • ISBN：7810380540
  • 出版社：中国纺织大学出版社
  • 出版年：1995
...

逻辑公式可满足性判定中的推理技术研究
  • 作者：黄沛
  • 出版社：中国科学院软件研究所
  • 出版年：2022