当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0149秒）
为您推荐： excel公式与函数实用技巧辞典 excel2016应用大全 excel2016数据透视表应用大全 excel高效办公公式与函数 公式及分录大全 excel函数应用实例详解
-
Microsoft Excel 2000中文版使用大全 【工业技术】
（美）Mark Dodge，（美）Craig Stinson著；汉扬天地科技发展有限公司编译2000 年出版786 页ISBN：7302040117 -
逻辑公式的可满足性判定 方法、工具及应用 【工业技术】
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
-
-
-
-
