A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE

被引：1609

作者：

ROBINSON, JA

机构：

来源：

关键词：

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 [J].

DAVIS, M ;

PUTNAM, H .

[3] A SEMI-DECISION PROCEDURE FOR FUNCTIONAL CALCULUS [J].

FRIEDMAN, J .

GILMORE, PC .

[5] THEOREM-PROVING ON COMPUTER [J].

ROBINSON, JA .

[6]

[No title captured]