当前位置：首页 > 名称
大约有300项符合查询结果项。（搜索耗时：0.0185秒）
为您推荐： excel函数与公式应用大全 公式 通达信公式编写 大全 现行建筑施工规范大全 世界政党大全
-
-
-
-
-
-
-
-
数、符号、公式、图形的英文表达
童丽萍，陈治业编著2000 年出版340 页ISBN：7810506684本书主要介绍了如何用英语正确、科学、规范地表达数、符号、公式和图形。书中给出了大量应用实例、便于科技工作者查阅、参考和引证。本书可作为理工科专业的本科生、研究生、高校教师、各类专业技术人员，以...
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
学科分类