skip to main content
Idioma:
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic at botik`89 proceedings
Logic at botik`89 proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic at botik`89 proceedings

Symposium on Logical Foundations of Computer Science, 1., Pereslavl-Zalessky, 1989 Albert R Meyer

Berlin Springer 1989

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.363 e.1 ) e outros locais(Acessar)

2
Logical foundations of computer science proceedings
Logical foundations of computer science proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

3
Logical foundations of computer science
Logical foundations of computer science
Material Type:
Livro 		Adicionar ao Meu Espaço

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)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.