Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Outros
|
![]() |
Electronic Notes in Theoretical Computer ScienceMaribel Fernández Marcelo FingerAmsterdam Elsevier 2014Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo
|
![]() |
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]Maribel Fernández Marcelo FingerElectronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014Amsterdam 2014Localização: IME - Inst. Matemática e Estatística (PROD-3003482 )(Acessar) |