共 13 条
[1]
BAECKER R, 1976, 3RD P ANN C COMP GRA, P32
[2]
BORNING A, 1979, SSL79 PARC COMP SCI
[3]
BORNING A, 1977, 5TH P IT JOINT C ART, P497
[4]
Borning Alan, 1979, THESIS STANFORD U
[5]
Bruner J. S., 1966, THEORY INSTRUCTION
[6]
Carroll L., 1897, SYMBOLIC LOGIC
[8]
GOLDBERG A, 1979, 12TH P U HAW ANN S S
[9]
GOULD L, UNPUBLISHED
[10]
INGALLS DH, 1978, 5TH ANN ACM S PRINC