共 49 条
[1]
ATKINSON R, TO BE PUBLISHED
[2]
BARTON RS, 1970, SOFTWARE ENGINEERING, V1
[3]
BIRTWISTLE, 1973, SIMULA BEGIN
[4]
BISHOP P, 1975, AI3 MIT WORK PAP
[5]
BOBROW D, 1973, 1973 INT JOINT C ART
[7]
CADIOU JM, 1972, THESIS STANFORD U
[8]
Church A., 1941, ANN MATH STUDIES
[9]
DAVIES DJM, 1973, TPU1 U ED SCH ART IN
[10]
DIJKSTRA EW, 1969, NOTES STRUCTURAL PRO