当前位置:首页 > 名称
大约有2,000项符合查询结果项。(搜索耗时:0.0263秒)
为您推荐: 成都市第一次全国可移动文物普查工作领导小组办公室编 国务院第一次全国经济普查领导小组办公室 南阳市第一次全国经济普查领导小组办公室写 江苏省第一次全国经济普查领导小组办公室 国务院第一次全国水利普查领导小组办公室著 第一次全国污染源普查资料纂委员会
-
-
-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
学科分类