共 17 条
[1]
BALZER R, 1976, 2ND P INT C SOFTW EN
[2]
BALZER R, 1971, IEEE T SOFTWARE ENG, V7
[3]
CLARK KL, 1982, LOGIC PROGRAMMING
[4]
de Groot A.D., 1965, THOUGHT CHOICE CHESS
[5]
Dijkstra E. W., 1976, DISCIPLINE PROGRAMMI
[6]
Ericsson K. A., 1984, PROTOCOL ANAL VERBAL
[7]
Gries David, 1981, SCI PROGRAMMING
[8]
HENDERSON P, 1980, FUNCTIONAL PROGRAMMI
[9]
JOHNSON W, 1983, 7TH P INT C SOFTW EN