共 11 条
[1]
Asser G., 1959, Z MATH LOGIK GRUNDL, V5, P346
[2]
Braffort P., 1963, COMPUTER PROGRAMMING
[3]
Davis M., 1958, COMPUTABILITY UNSOLV
[4]
GILMORE P, 1963, COMPUTER PROGRAMMING
[5]
Goldstine H.H., 1947, PLANNING CODING PROB
[6]
Hermes H., 1961, AUFZAHLBARKEIT ENTSC
[7]
Kaphengst H., 1959, Z MATH LOGIK GRUNDLA, V5, P366
[8]
Naur P., 1960, COMMUN ACM, V3, P299
[9]
NAUR P, 1960, NUMER MATH, V2, P106