共 6 条
[1]
HEINE MH, 1984, INFORM TECHNOL R & D, V3, P95
[2]
HEINE MH, 1988, INFORMATION TECHNOLO, V2, P247
[3]
HEINE MH, 1986, NOV ROUND TABL WORKS
[4]
PRATT V, 1973, J COMPUTER SYSTEM SC, V7, P448
[5]
Rudeanu S., 1968, BOOLEAN METHODS OPER