共 5 条
[1]
Bartee T. C., 1961, IEEE TRANS ELECTRON, VEC-10, P21
[3]
MCNAUGHTON R, 1957, J FRANKLIN I, V264, P457
[4]
Quine W.V., 1952, AM MATH MON, V59, P521
[5]
SAMSON EW, 1954, TC5421 AFRC AF CAMBR