否证法十年来的发展  

Ten Years' Developments of Refutation Systems

作　　者：曾云峰[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《计算机研究与发展》1992年第3期1-8,共8页Journal of Computer Research and Development

基　　金：国家自然科学基金会青年基金

摘　　要：本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.Abstract:In this paper,we survey the recent developments of the refutation theorem proving methods and give detailed discussions of some of the most remarkable work.

关 键 词：定理机器证明 否证法 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]