共 51 条
[1]
Aho A. V., 1974, DESIGN ANAL COMPUTER, V1st
[2]
Alefeld G., 1983, INTRO INTERVAL COMPU
[4]
ALLEN JF, 1985, FORMAL THEORIES COMM, P251
[6]
BOGGESS L, 1979, CSL T75 U ILL REPT
[7]
Borning A., 1977, P 5 INT JOINT C ART, P497
[9]
DAVIS E, 1984, 292 YAL U RES REPT
[10]
DAVIS E, 1981, 193 YAL U RES REPT