共 10 条
[1]
Davis M., 1958, COMPUTABILITY UNSOLV
[2]
KWASOWIEC W, 1970, B ACAD POL SCI SMAP, V18, P403
[3]
MAUER WD, 1966, J ACM, V13, P226
[4]
PAWLAK Z, 1969, ALGORYTMY, V5, P5
[5]
PAWLAK Z, IN PRESS
[7]
SKOWRON A, 1972, CCPAS73 REP
[8]
SKOWRON A, 1972, SEMANTYCZNYM TLUMACZ
[9]
USPENSKII VA, 1961, LECSII VYCHISLIMYKH
[10]
VANBA, 1971, B ACAD POL SCI SMAP, V19, P1109