当前位置:首页 > 名称
大约有3,000项符合查询结果项。(搜索耗时:0.0177秒)
为您推荐: 桩基工程质量的诊断技术 方法 原理及应用实例 3dec块体离散元数值模拟方法及应用 试验统计方法及spss应用 精密运动系统迭代前馈控制方法及应用 用面板数据做因果分析 视觉功能检查及客观评定的法医学原则与方法
-
-
-
-
-
-
-
-
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN:7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法,也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
学科分类
