当前位置：首页 > 名称
大约有10,000项符合查询结果项。（搜索耗时：0.0362秒）
为您推荐： 枪与玫瑰的使用方法 正版书籍 可开发票 美术设定集之逆水寒 正版书籍 可开发票 枪与玫瑰的使用方法 正版图书 售后无忧 枪与玫瑰的使用方法 新华书店 正版图书 枪与玫瑰的使用方法 枪与玫瑰的使用方法 双色9787518932528
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
-
-
-
GB18006.1-1999《一次性可降解餐饮具通用技术条件》、GB/T18006.2-1999《一次性可降解餐饮具降解性能试验方法》标准实施指南
国家质量技术监督局标准化司编2000 年出版186 页ISBN： -
-
-
-
-
学科分类