共 5 条
[1]
CARR JW, 1959, HANDBOOK AUTOMATION, V2, P2
[2]
FELLS EM, 1962, LOGIK LOGIKKALKUL
[3]
IANOV II, 1957, DOKLADY AN USSR, V113, P283
[4]
IANOV II, 1958, PROBL CYBERN, V1, P75
[5]
IANOV II, 1957, DOKLADY AN USSR, V113, P39