《逻辑公式的可满足性判定 方法、工具及应用》高清PDF
作者：张健著
出版：北京：科学出版社
页数：172 ✅ 真实服务 非骗流量 ❤️
出版时间：2000.10 （求助前请核对清楚）
求助编号：9108309380 （学习资料 勿作它用）
求助格式：PDF（无水印/扫描版）我要投诉
重要说明：求助即说明同意《文件求助条款》 Word/doc、ePubb、mobi、PPT、TXT
《世界著名计算机教材精选 逻辑设计基础 第2版》高清PDF下载 ALAN B.MARCOVITZ著；殷洪玺 刘新元 禹莹等译 2006.03
《疯狂游戏》高清PDF下载 2001.08
《计算机组成与系统结构》高清PDF下载 胡越明编著 2002.06
《工程师和科学家实用统计分析 用户手册 -基于计算机的方法》高清PDF下载 J.Wesley Barnes 2002.06
《信息安全新技术》高清PDF下载 杨义先等编著 2001.12
《加密与解密》高清PDF下载 段钢编著 2003.06
《高可用性 设计、技术和动作过程 design， techniques and processes》高清PDF下载 （美） 弗洛伊德·皮耶达德，迈克尔·霍金斯著；Floyd Piedad，Michael Hawkins 高广卿，何铖译 2003.12
《C算法 第2卷 图算法 第3版》高清PDF下载 （美）Robert Sedgewick著；周良忠译 2004.04
《C算法 第1卷 基础、数据结构、排序和搜索 第3版》高清PDF下载 （美）Robert Sedgewick著；周良忠译 2004.06
《新编计算机维护与维修实用教程》高清PDF下载 本书编委会编 2003.06
本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应用。
提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。