%0 Journal Article
%T 关于归纳证明的探讨
%A 钟发荣
%A 孙永强
%J 计算机科学
%D 1998
%I 
%X 归纳定理证明是一种难度较大且较有前途的一种自动定理证明方法。较早的归纳定理证明器是Boyer一Moore于1979年提出的BM证明器,BM证明器采用的是传统的结构归纳法,对所证公式中的每个函数项都根据其所谓归纳模板提出相应的归纳方案,然后对这个归纳方案进行分析、比较和整理,得出整个
%K 归纳证明
%K 自动定理证明
%K 算法
%K 计算机
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=CBC713FA3508C8FB8385C3B7A39E69DE&yid=8CAA3A429E3EA654&vid=C5154311167311FE&iid=94C357A881DFC066&sid=6AC2A205FBB0EF23&eid=1D0FA33DA02ABACD&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0