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

带线性可组合归纳谓词和集合数据约束的分离逻辑公式求解
出版社：中国科学院软件研究所
出版年：2019
作者：高冲
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究与工具
  • 作者：古新才
  • 出版年：2017
...

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

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

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

现代归纳逻辑与概率逻辑
  • 作者：李小五
  • ISBN：7030030249
  • 出版社：科学出版社
  • 出版年：1992
...

现代归纳逻辑与概率逻辑
  • 作者：李小五
  • 出版社：科学出版社
  • 出版年：1992