skip to main content
Refinado por: autor: Nerode, A remover nível superior: Disponível na Biblioteca remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
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)

2
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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Assunto 

  1. Ciência Da Computação  (1)
  2. Teoria Da Computação  (1)
  3. Mais opções open sub menu

Data de Publicação 

De até

Buscando em bases de dados remotas. Favor aguardar.