Logical foundations of computer science 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings
LFCS '97 (4th 1997 Yaroslavl§, Russia (City)) S. I Adian 1931-; Anil Nerode 1932-; LFCS '97 (4th 1997 Yaroslavl§, Russia (City))
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1234 ) e outros locais(Acessar)