%0 Journal Article
%T 基于重写技术的自动定理证明
%A 张健
%J 计算机科学
%D 1992
%I 
%X 重写技术是处理等式理论的一种有效方法,它已成功地应用到带等词的一阶谓词逻辑中定理的自动证明。本文介绍基于重写的定理证明方法的基本思想,以及几种具体的证明技术,最后将这类方法与经典的归结证明方法加以比较。
%K 重写技术
%K 自动定理证明
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=8EC2B8697395EA1FC6ED8978FB595EBD&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=0B39A22176CE99FB&sid=9C65ADEB5990B252&eid=E203FB1A272C9DD2&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0