TY  - BOOK
AU  - LLOYD,J.W (ED)
TI  - COMPUTATIONAL LOGIC: SYMPOSIUM PROCEEDINGS HELD AT BRUSSELS, NOVEMBER 13-14,1990
SN  - KBCS
U1  - 726 
PY  - 1990///
CY  - BERLIN
PB  - SV
N1  - BR-571
ER  -