AN EXPERIMENTAL LOGIC BASED ON THE FUNDAMENTAL DEDUCTION PRINCIPLE

被引：5

作者：

BROWN, FM ^{[1
]}

机构：

[1] UNIV KANSAS,DEPT COMP SCI,LAWRENCE,KS 66045

来源：

关键词：

D O I：

10.1016/0004-3702(86)90011-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：117 / 263

页数：147

共 64 条

[1]

ANDREWS PB, 1984, COMMUNICATION 0626

[2]

BIBEL W, 1975, INT COMPUTING S

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

BLEDSOE, WW .

[4]

Boyer R.S., 1979, ACM MONOGRAPH SERIES

[5] DOING ARITHMETIC WITHOUT DIAGRAMS [J].

BROWN, FM .

[6]

BROWN FM, 1979, ARTIF INTELL, V12, P207, DOI 10.1016/0004-3702(79)90007-9

BROWN, FM .

[8]

BROWN FM, 1980, TR132

[9]

BROWN FM, 1977, UNPUB SYNTACTIC TREE

[10]

BROWN FM, 1980, TR141