24351
Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
Los Alamitos, Calif.
IEEE Computer Society
2001
xii, 441p.: ill
"IEEE Computer Society Order Number PR01218" - verso of t.p
Includes biblographical references and index
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
Mathematics - Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
6
.
S9393
2001
AU
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
TI
Symposium on Logic in Computer Science )16th: 2001: Boston, Mass.(
CL
