A MACHINE PROGRAM FOR THEOREM-PROVING

被引：1587

作者：

DAVIS, M

LOGEMANN, G

LOVELAND, D

机构：

来源：

COMMUNICATIONS OF THE ACM | 1962年 / 5卷 / 07期

关键词：

D O I：

10.1145/368273.368557

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：394 / 397

页数：4

相关论文

共 3 条

[1]

DAVIS, 1960, JACM, V7, P201

[2] A PROOF METHOD FOR QUANTIFICATION THEORY - ITS JUSTIFICATION AND REALIZATION [J].

GILMORE, PC .

IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1960, 4 (01) :28-35

[3]

Prawitz D., 1960, THEORIA-SPAIN, V26, P102, DOI DOI 10.1111/J.1755-2567.1960.TB00558.X/FULL