当前位置:首页 > 名称
大约有10,000项符合查询结果项。(搜索耗时:0.0445秒)
为您推荐: 论 数学原理 及相关系统的形式上不可判定命题 title论人类自由的本质及相关对象 数字系统原理及应用 中国现代文学史上的民族形式论争 gj 5型轨检车检测系统原理及应用 嵌入式实时操作系统μc os-ii原理及应用
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
最新房地产审判司法解释及相关法律规范 2000年新编本 上
最高人民法院《最新房地产审判司法解释及相关法律规范》编选组编2000 年出版889 页ISBN:780056410X -
-
-
-
-
-
-
学科分类