Idioma:

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

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

Título:
Logical and semantic frameworks are formal languages used to represent logics, languages and systems. [Prefácio]
Autor: Maribel Fernández
Marcelo Finger
Assuntos: Workshop on Logical and Semantic Frameworks - LSFA (8. 2013 São Paulo, Brazil); CIÊNCIA DA COMPUTAÇÃO -- CONGRESSOS
É parte de: Electronic Notes in Theoretical Computer Science Amsterdam v. 305, p. 1-3, 2014
Notas: Disponível em: https://doi.org/10.1016/j.entcs.2014.06.001. Acesso em: 24 ago. 2020
Editor: Amsterdam
Data de criação/publicação: 2014
Formato: p. 1-3.
Idioma: Inglês

Links

Voltar para lista de resultados