skip to main content
Tipo de recurso Ver resultados con: Ver resultados con: Sumario

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

Disponible en IME - Inst. Matemática e Estatística    (PROD-3003482 )(Obténgalo)

Buscando en bases de datos remotas, por favor espere