AN EXPERIMENTAL LOGIC BASED ON THE FUNDAMENTAL DEDUCTION PRINCIPLE

被引：5

作者：

BROWN, FM ^{[1
]}

机构：

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

来源：

ARTIFICIAL INTELLIGENCE | 1986年 / 30卷 / 02期

关键词：

D O I：

10.1016/0004-3702(86)90011-1

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

收藏

页码：117 / 263

页数：147

相关论文

共 64 条

[51]

REITER R, 1972, 7209 U BRIT COL DEP

[52]

ROBINSON JA, 1982, MACHINE INTELLIGENCE, V10

[53]

ROBINSON JA, 1965, J ACM, V12

[54]

SCHWIND CB, 1977, THESIS TU MUNCHEN

[55]

SIEKMANN JS, 1978, 776 U KARLSR I INF I

[56]

SKOLEM T, 1961, FREGE GODEL

[57]

Szabo M. E., 1969, COLLECTED PAPERS G G

[58]

Teitelman Watten, 1974, INTERLISP REFERENCE

[59]

WANG H, 1960, IBM J RES DEV, V4

[60]

WANG H, 1970, LECTURE NOTES MATH

← 1 2 3 4 5 6 7 →