THEOREM PROVING WITH VARIABLE-CONSTRAINED RESOLUTION

被引：7

作者：

CHANG, CL

机构：

来源：

关键词：

D O I：

10.1016/S0020-0255(72)80012-4

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：217 / &

共 31 条

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

LOVELAND, DW .

[12]

LUCKHAM D, 1968, MACH INTELL, V3, P95

MELTZER, B .

PRAWITZ, D ;

PRAWITZ, H ;

VOGHERA, N .

[15]

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

[16]

Robinson G., 1969, MACH INTELL, V4, P135

[17]

ROBINSON JA, 1965, INT J COMPUT MATH, V1, P227

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

ROBINSON, JA .

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

ROBINSON, JA .

[20]

ROBINSON JA, 1967, P S APPL MATH