TY  - BOOK
ED  - IEEE Annual Symposium on Logic in Computer Science (12th : 29 Jun - 2 Jul 1997 : Warsaw,Poland)
ED  - IEEE annual symposium on logic in computer science
TI  - Logic in computer science: proceedings
SN  - 0-8186-7925-5
U1  - 511.3 
PY  - 1997///
CY  - Los Alamitos
PB  - IEEE Computer Society Press
KW  - Computational mathematics
KW  - Computer science
KW  - Logic
ER  -