Logic in computer science. LICS 2002. Proceedings
IEEE Symposium on logic in computer science (17 2002 Copenhagen)
Logic in computer science. LICS 2002. Proceedings - Los Alamitos IEEE Computer society 2002 - xiii, 461p. incl. bibl.
0769514839
005 / P021 "SER"
Logic in computer science. LICS 2002. Proceedings - Los Alamitos IEEE Computer society 2002 - xiii, 461p. incl. bibl.
0769514839
005 / P021 "SER"