ON MATRICES WITH CONNECTIONS

被引：72

作者：

BIBEL, W ^{[1
]}

机构：

[1] UNIV KARLSRUHE,D-7500 KARLSRUHE,FED REP GER

来源：

关键词：

Compendex;

D O I：

10.1145/322276.322277

中图分类号：

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

学科分类号：

0812 ;

摘要：

SYSTEMS SCIENCE AND CYBERNETICS

引用

页码：633 / 645

页数：13

共 26 条

[1]

ANDREWS PB, 1976, IEEE T COMPUT, V25, P801, DOI 10.1109/TC.1976.1674698

[2] THEOREM-PROVING VIA GENERAL MATINGS [J].

ANDREWS, PB .

[3]

ANDREWS PB, 1980, LECTURE NOTES COMPUT, V87, P281

[4]

Bibel W., 1979, Theoretical Computer Science, V8, P31, DOI 10.1016/0304-3975(79)90054-9

[5]

BIBEL W, 1980, ATP3IV80 TU MUNCH

[6]

BIBEL W, 1980, LECTURE NOTES COMPUT, V88, P154

[7]

BIBEL W, UNPUBLISHED

[8] NON-RESOLUTION THEOREM PROVING [J].

BLEDSOE, WW .

[9]

BROWN FM, 1976, NOTES CHAINS CONNECT

[10]

DAVIS M, 1963, EXPT ARITHMETIC HIGH, V15, P15