UTILITY OF INDEPENDENT SUBGOALS IN THEOREM PROVING

被引：4

作者：

ERNST, GW

机构：

来源：

INFORMATION AND CONTROL | 1971年 / 18卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(71)90382-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：237 / &

相关论文

共 8 条

[1]

Fitch F.B., 1952, SYMBOLIC LOGIC INTRO

[2]

GREEN C, 1969, P INT JOINT C ARTIFI

[3]

MINSKY M, 1963, COMPUTERS THOUGHT

[4]

Newell A., 1963, COMPUTERS THOUGHT

[5] AUTOMATIC THEOREM PROVING WITH RENAMABLE AND SEMANTIC RESOLUTION [J].

SLAGLE, JR .

[6]

SLAGLE JR, 1970, THEORETICAL APPROACH

[7]

WANG H, 1960, IBM J RES DEV, V4, P224

[8]

[No title captured]