TY  - BOOK
AU  - ; IEEE 
TI  - Symposium on Logic In Computer Science
U1  - 001.64205 IEE 
PY  - 1987///
CY  - New York
PB  - : The Computer Society
KW  - ; Logic in Computer Science
KW  - ; Computer Science
KW  - ; Mathematical Foundations of Computing
KW  - ; IEEE
KW  - ; HCL Collection
ER  -