AUTOMATIC THEOREM-PROVING .2.

被引：0

作者：

VORONKOV, AA

DEGTYAREV, AI

机构：

来源：

CYBERNETICS | 1987年 / 23卷 / 04期

关键词：

D O I：

暂无

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：547 / 556

页数：10

共 68 条

[1] RESOLUTION IN TYPE THEORY [J].

ANDREWS, PB .

[2]

ANUFRIEV FV, 1972, KIBERNETIKA, P29

[3] MATINGS IN MATRICES [J].

BIBEL, W .

[4] SPLITTING AND REDUCTION HEURISTICS IN AUTOMATIC THEOREM PROVING [J].

BLEDSOE, WW .

[5]

BORGER E, 1984, STUDIES LOGIC F MATH, V112, P236

[6]

CAFERRA R, 1982, LECTURE NOTES COMPUT, V138, P309

[7]

CHAG CL, 1979, 6TH P INT JOINT C AR, P143

[8]

Church A., 1940, J SYMBOLIC LOGIC, V5, P56, DOI 10.2307/2266170

[9]

COHN AG, 1985, 9TH P INT JOINT C AR, P1169

[10] RELATIVE EFFICIENCY OF PROPOSITIONAL PROOF SYSTEMS [J].

COOK, SA ;

RECKHOW, RA .