Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science, Montreal, Canada, June 19-23, 1993

Symposium on Logic in Computer Science (8th 1993 Montreal, Canada) ACM Special Interest Group for Automata and Computability Theory; IEEE Computer Society Technical Committee on Mathematical Foundations of Computing

Los Alamitos, Calif. IEEE Computer Society Press c1993

Localização: EPBC - Esc. Politécnica-Bib Central    (004.42 Ie2L 8. )(Acessar)