否证法十年来的发展
Ten Years' Developments of Refutation Systems
-
摘要: 本文综述了定理机器证明的否证方法在近十年来的发展概况,并着重介绍了一些具有代表性的工作.Abstract: 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.
下载: