%0 Journal Article
%T 机器定理证明中的一般问题
%A 贲可荣
%A 陈火旺
%J 计算机科学
%D 1992
%I 
%X 木文从人工智能角度阐述了机器定理证明的重要意义,综述了以逻辑方法为重点的定理证明器的一般问题,如搜索策略、化简、语义、抽象、发现相关公理以及它涉及的一般软件工程问题。
%K 机器定理证明
%K 形式逻辑
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=AEF55533F5E0E7EAE24A94820CF227AC&yid=F53A2717BDB04D52&vid=2A8D03AD8076A2E3&iid=94C357A881DFC066&sid=014B591DF029732F&eid=1D0FA33DA02ABACD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0