期刊文献+

有限模型的自动构造

下载PDF
导出
摘要 计算机科学的很多领域引入了形式化方法,逻辑公式经常出现在各种技术中。有时需要判定一个逻辑公式的协调性(可满足性),并对可满足的公式给出一个具体的模型。本文介绍计算机科学和数学中的一些模型构造问题,以及有限摸型的自动构造技术。
作者 张健
机构地区 中科院软件所
出处 《计算机科学》 CSCD 北大核心 1994年第1期17-19,共3页 Computer Science
  • 引文网络
  • 相关文献
;
使用帮助 返回顶部