TY  - BOOK
ED  - IEEE Annual Symposium on Logic in Computer Science (17th : 22-25 Jul 2002 : Kopenhagen,Denmark)
ED  - IEEE annual symposium on logic in computer science
TI  - Logic in computer science: proceedings
SN  - 0-7695-1483-9
U1  - 511.3 
PY  - 2002///
CY  - Los Alamitos
PB  - IEEE
KW  - Computational mathematics
KW  - Mathematical logic
ER  -