Ten Years' Developments of Refutation Systems

CENG Yunfeng. Ten Years' Developments of Refutation SystemsJ. Journal of Computer Research and Development, 1992, 29(3): 1-8.

Citation:

CENG Yunfeng. Ten Years' Developments of Refutation SystemsJ. Journal of Computer Research and Development, 1992, 29(3): 1-8.

Citation:

CENG Yunfeng. Ten Years' Developments of Refutation SystemsJ. Journal of Computer Research and Development, 1992, 29(3): 1-8.

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.

FullText(HTML)

Turn off MathJax

Article Contents

Export File