FACT RETRIEVAL + DEDUCTIVE QUESTION-ANSWERING INFORMATION RETRIEVAL SYSTEMS

被引：26

作者：

COOPER, WS

机构：

来源：

关键词：

D O I：

10.1145/321217.321218

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

页码：117 / &

相关论文

共 9 条

[1]

BARHILLEL Y, 1960, N625582214 US DEPT C

[2]

BARHILLEL Y, 1957, AMER DOC, V8, P2

[3]

BOHNERT H, 1962, AFDSRTN623 AIR FORC

[4]

COOPER WS, 1964, SET THEORY SYNTACTIC

[5]

GREEN, 1961, MAY P WEST JOINT COM, P219

[6]

Lukasiewicz J., 1957, ARISTOTLES SYLLOGIST

[7]

Reichenbach H., 1947, ELEMENTS SYMBOLIC LO

[8]

SMILEY T, 1962, J SYMBOLIC LOGIC, V27, P1

[9] PROVING THEOREMS BY PATTERN RECOGNITION .1. [J].

WANG, H .