TY  - BOOK
ED  - IEEE Symposium on Logic Computer Science(11th : 1996 : New Brunswick,New Jersey)
ED  - IEEE Symposium on Logic in Computer Science
TI  - Logic in computer science: proceedings
SN  - 0-8186-7463-6
U1  - 511.3 
PY  - 1996///
CY  - California
PB  - IEEE Computer Society Press
KW  - Computational mathematics
KW  - Computer Science
KW  - Logic
ER  -