TY  - BOOK
AU  - IEEE Computer Society
TI  - Eleventh annual IEEE symposium on Logic in Computer Science: July 27-30, 1996, New Brunswick, New Jersey
SN  - 0780336542 (HB)
PY  - 1996///
CY  - New Jersey,USA
PB  - IEEE CSP
KW  - Logic in Computer Science, 1996
ER  -