skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Outros
Adicionar ao Meu Espaço

Electronic Notes in Theoretical Computer Science

Maribel Fernández Marcelo Finger

Amsterdam Elsevier 2014

Acesso online. A biblioteca também possui exemplares impressos.

2
Material Type:
Artigo
Adicionar ao Meu Espaço

Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]

Maribel Fernández Marcelo Finger

Electronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014

Amsterdam 2014

Localização: IME - Inst. Matemática e Estatística    (PROD-3003482 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Refinar Meus Resultados

Tipo de Recurso 

  1. Outros  (1)
  2. Artigos  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.