当前位置：首页 > 名称
大约有2,000项符合查询结果项。（搜索耗时：0.0302秒）
为您推荐： 计算公式 图形计算公式 数学用表及概念 法则 公式 管工计算公式 初中数学用表及概念 法则 公式 偏心距计算公式图解
-
-
逻辑公式的可满足性判定 方法、工具及应用
张健著2000 年出版172 页ISBN：7030083644本书共分四章。前三章分别讨论了经典的命题逻辑和一阶谓词逻辑公式以及命题模态逻辑公式的可满足性判定算法，也提到有关的软件工具。第四章介绍了它们在离散数学研究、软件和硬件的形式验证与测试等方面的应...
-
地理学的数学模型与应用 1934-1999年《地理学报》中的数学模型及公式汇编
刘昌明，岳天祥，周成虎主编2000 年出版185 页ISBN：7030085965本书将《地理学报》1934年创刊以来发表的328 组数学模型和公式分类汇编成册。本书包括：地球信息科学的模型和公式38组，自然地理模型和公式209 组，经济地理的模型和公式81组。选编的模型及公式都是原文中的精髓...
-
-
-
-
-
-
-
