摘要
本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
1992年第3期1-8,共8页
Journal of Computer Research and Development
基金
国家自然科学基金会青年基金
关键词
定理机器证明
否证法
symbolic logic
mechanical theorem proving
automated deduction
