逻辑公式的可满足性判定 : 方法、工具及应用
引用
收藏
作者：
张健著
ISBN：
7030083644
出版日期：
2000-10
版次：
1
中图分类号：
TP301.6
学科分类：
计算机科学技术
丛书：
博士丛书
附注信息：
阅读
图书简介：
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
图书目录：
返回顶部
×
图书荐购
*
姓名:
*
机构名称:
*
院/系/所:
*
推荐人邮箱:
推荐理由:
