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)

IME - Inst. Matemática e Estatística (PROD-3003482 ) Disponível na Biblioteca

Local	Número de chamada	Descrição	Status / Emprestado até	Código de barras	Tipo de item	Opções de solicitação
IME-Inst. Mat. e Estatística	PROD-3003482		Item disponível	3003482-10	RECURSO ELETRÔNICO	Select Request Option: Clique aqui para se identificar
Localização: IME-Inst. Mat. e Estatística Número de chamada: PROD-3003482 Status: Item disponível Código de Barras: 3003482-10 Tipo de item: RECURSO ELETRÔNICO Status de item: PCD - não circula

Voltar para lista de resultados