MARC状态：审校 文献类型：中文图书 浏览次数：21
- 题名/责任者:
- 逻辑公式的可满足性判定:方法、工具及应用/张健著
- 出版发行项:
- 北京:科学出版社,2000
- ISBN及定价:
- 7-03-008364-4 精装/CNY18.00
- 载体形态项:
- 172页;20cm
- 丛编项:
- 博士丛书
- 个人责任者:
- 张健 著
- 学科主题:
- 命题逻辑-可判定性-算法理论
- 学科主题:
- 命题逻辑
- 学科主题:
- 可判定性
- 学科主题:
- 算法理论
- 中图法分类号:
- O141
- 中图法分类号:
- TP301.6
- 提要文摘附注:
- 本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 定位信息 | 书刊状态 | 还书位置 |
| O141/23 | 202063480 | 剔旧图书临时书库（909） | 导航 | 非可借 | 剔旧图书临时书库（909） | |
| O141/23 | 202063499 | 剔旧图书临时书库（909） | 导航 | 非可借 | 剔旧图书临时书库（909） | |
| O141/23 | A0393252 | 自科典藏库（5楼） | 导航 | 可借 | ||
| O141/23 | A0393253 | 自科借阅1(N-S/U-Z)(104室) | 导航 | 可借 | ||
| O141/23 | 202063453 | 流通密集库 | 导航 | 阅览 | ||
| O141/23 | 202063462 | 流通密集库 | 导航 | 阅览 | ||
| O141/23 | 202063471 | 流通密集库 | 导航 | 阅览 | ||
| O141/23 | A0393254 | 流通密集库 | 导航 | 阅览 |
显示全部馆藏信息