TY  - BOOK
ED  - IEEE Annual Symposium on Logic in Computer Science (15th : 26-28 Jun 2000 : Santa Barbara,California)
ED  - IEEE annual symposium on logic in computer science
TI  - Logic in computer science: proceedings
SN  - 0-7695-0725-5
U1  - 511.3 
PY  - 2000///
CY  - California
PB  - Los Alamitos
KW  - Computational mathematics
KW  - Mathmatical logic
ER  -