共 32 条
[2]
BLOIS M, 1984, INFORMATION MED NATU
[3]
BRACHMAN RJ, 1983, P AAAI 83, V3, P31
[4]
BRACHMAN RJ, 1984, P AAAI 84, V4, P34
[5]
Church, 1956, INTRO MATH LOGIC, V1
[6]
Cimino JJ, 1989, 13TH P ANN S COMP AP, P513
[7]
Cote RA, 1993, SYSTEMATIZED NOMENCL
[8]
DUNHAM GS, 1984, METHOD INFORM MED, V23, P87
[9]
EVANS D, 1989, COGNITIVE SCI MED