T007162　定理机器证明

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第755页（158字）

刘叙华等编着。

科学出版社1987年10月版。20．4万字。主要介绍定理机器证明的理论基础及重要研究成果。首先介绍命题逻辑与一阶逻辑，然后介绍归结方法及各种改进的方法，模糊逻辑和模糊归结，最后介绍国际上最近提出的几种非归结方法——自然推导法、重写规则法及数学归纳法。