A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE

被引：1585

作者：

ROBINSON, JA

机构：

来源：

JOURNAL OF THE ACM | 1965年 / 12卷 / 01期

关键词：

D O I：

10.1145/321250.321253

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：23 / &

相关论文

共 6 条

[1] Church A., 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326
[2] A COMPUTING PROCEDURE FOR QUANTIFICATION THEORY
DAVIS, M
PUTNAM, H
[J]. JOURNAL OF THE ACM, 1960, 7 (03) : 201 - 215
[3] A SEMI-DECISION PROCEDURE FOR FUNCTIONAL CALCULUS
FRIEDMAN, J
[J]. JOURNAL OF THE ACM, 1963, 10 (01) : 1 - &
[4] A PROOF METHOD FOR QUANTIFICATION THEORY - ITS JUSTIFICATION AND REALIZATION
GILMORE, PC
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1960, 4 (01) : 28 - 35
[5] THEOREM-PROVING ON COMPUTER
ROBINSON, JA
[J]. JOURNAL OF THE ACM, 1963, 10 (02) : 163 - &
[6] [No title captured]