逻辑公式的可满足性判定 :方法、工具及应用

逻辑公式的可满足性判定 :方法、工具及应用

出版社：科学出版社

ISBN：7030083644

出版年：2000

作者：张健

学科：数学

资源类型：图书

细分类型：中文文献

1浏览量

问图书管理员

点赞

收藏

访问借阅管理系统

逻辑公式可满足性判定中的推理技术研究

作者：黄沛
出版社：中国科学院软件研究所
出版年：2022

模态逻辑公式为见证的互模拟等价判定

作者：李明
出版社：中国科学院
出版年：2009

量子可分性的数学机械化判定算法及量子计算逻辑

作者：袁和军
出版年：2005

带线性可组合归纳谓词与数据约束的分离逻辑的判定程序：理论研究与工具

作者：古新才
出版年：2017

命题逻辑的可满足性问题：复杂性和算法

作者：卜东波
出版年：1997

多项式方程组实解存在性的初等判定方法及应用

作者：王蒙
出版年：2015