共 7 条
[1]
BOROSH I, 1976, P AM MATH SOC, P299
[2]
Cooper D. C., 1972, Machine intelligence 7, P91
[3]
FERRANTE J, 1973, MAC33 MASS I TECHN T
[4]
FISCHER M, 1973, APR P S COMPL REAL C
[5]
MEYER A, 1972, WEAK MONADIC 2ND ORD
[6]
PRESBURGER M, 1929, 1ER COMPT REND C MAT
[7]
RABIN M, 1972, COMMUNICATION