1
|
Material Type: Livro
|
|
Logical foundations of computer science proceedings
Symposium on Logical Foundations of Computer Science (3. 1994 Ptersburg) Anil Nerode; Yu V Matiyasevich
Berlin Springer 1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.813 e.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
Logical foundations of computer science
Symposium Logical Foundations of Computer Science, LFCS'97, 4 1997 Yaroslavl Sergei Adian; Anil Nerode
Goos, G., ed; Hartmanis, J., ed; Leeuwen, J. Van, ed Lecture Notes in Computer Science Berlin, Springer-Verlag, c1985-
Berlin Springer-Verlag c1997
Localização:
IFSC - Inst. Física de São Carlos
(P621.38195 L471 v.1234 )(Acessar)
|