%0 Journal Article
%T 有限模型的自动构造
%A 张健
%J 计算机科学
%D 1994
%I 
%X 计算机科学的很多领域引入了形式化方法，逻辑公式经常出现在各种技术中。有时需要判定一个逻辑公式的协调性可满足性。并对可满足的公式给出一个具体的模型。本文介绍计算机科学和数学中的一些模型构造问题。以及有限模型的自动构造技术。
%K 计算机科学
%K 有限模型
%K 自动构造
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CF75A66F1AA6D01664EBA9C66749C720&yid=3EBE383EEA0A6494&vid=659D3B06EBF534A7&iid=CA4FD0336C81A37A&sid=BCA2697F357F2001&eid=2A8D03AD8076A2E3&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0