A SIMPLIFIED FORMAT FOR MODEL ELIMINATION THEOREM-PROVING PROCEDURE

被引：70

作者：

LOVELAND, DW

机构：

[1] Carnegie-Mellon University, Pittsburgh, Pennsylvania

来源：

JOURNAL OF THE ACM | 1969年 / 16卷 / 03期

关键词：

D O I：

10.1145/321526.321527

中图分类号：

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

学科分类号：

0812 ;

摘要：

[No abstract available]

引用

收藏

页码：349 / &

相关论文

共 3 条

[1] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION [J].

LOVELAND, DW .

JOURNAL OF THE ACM, 1968, 15 (02) :236-&

[2] A MACHINE-ORIENTED LOGIC BASED ON RESOLUTION PRINCIPLE [J].

ROBINSON, JA .

JOURNAL OF THE ACM, 1965, 12 (01) :23-&

[3]

ROBINSON JA, 1966, P S APPL MATH AMER S, V19