Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of Computer Science (20. 1995 Prague) Juraj Wiedermann; Petr Hájek
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.969 e.1 ) e outros locais(Acessar)