PRODUCT-REPRESENTATION - CLAUSE REPRESENTATION FOR PARALLEL SEARCH

被引：3

作者：

FISHMAN, DH

MINKER, J

机构：

[1] UNIV MASSACHUSETTS,DEPT COMP & INFORMATION SCI,AMHERST,MA 01002

[2] UNIV MARYLAND,DEPT COMP SCI,COLLEGE PK,MD

来源：

关键词：

D O I：

10.1016/0004-3702(75)90005-3

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：103 / 127

页数：25

共 19 条

[1]

[Anonymous], SYMBOLIC LOGIC MECHA

[2]

AUGUSTON JG, 1974, TR307 U MAR DEP COMP

[3] COMPUTER PROOFS OF LIMIT THEOREMS [J].

BLEDSOE, WW ;

BOYER, RS ;

HENNEMAN, WH ;

BOYER, RS ;

HENNEMAN, WH .

[4]

DARLINGTON JL, 1969, P IJCAI, P317

[5]

FELDMAN J, 1972, P AFIPS, P1193

[6] REF-ARF - SYSTEM FOR SOLVING PROBLEMS STATED AS PROCEDURES [J].

FIKES, RE .

[7]

FISHMAN DH, 1973, THESIS U MARYLAND

[8]

FISHMAN DH, 1973, TR280 U MAR COMP SCI

[9]

Green C., 1969, MACH INTELL, V4, P183

[10]

HEWITT C, 1972, THESIS MIT