共 60 条
[1]
ADAMS J, 1979, PRACTICAL COMPUTING, V2, P29
[2]
ANDERSON A, 1975, ENTAILMENT
[3]
AYER FJ, 1936, LANGUAGE TRUTH LOGIC
[4]
VERBAL REPORTS AS EVIDENCE OF THE PROCESS OPERATORS KNOWLEDGE
[J].
INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES,
1979, 11 (04)
:411-436
[5]
Bannister D., 1971, INQUIRING MAN
[6]
Belnap N., 1976, CONT ASPECTS PHILOS, P30
[7]
BOGOMOLOV AS, 1977, PHILOSOPHY USSR PROB, P134
[8]
Bradley Raymond, 1979, POSSIBLE WORLDS
[9]
CARD W I, 1974, International Journal of Bio-Medical Computing, V5, P175, DOI 10.1016/0020-7101(74)90028-2
[10]
CODD EF, 1970, COMMUN ACM, V13, P377, DOI [10.1145/362384.362685, 10.1145/357980.358007]