TY  - GEN
TI  - PROCEEDINGS..
U1  - 621.3819572 
PY  - 1987///
CY  - Washington, D. C.
PB  - Computer Society Press Of The Ieee
KW  - Many-Valued Logic -- Cong
KW  - Logic Circuits -- Mathematics -- Cong
KW  - Completeness Theorem -- Cong
N1  - Sponsored By Univ. Of Massachusetts At Boston, Digital And Ieee Computer Society
ER  -