Fechar

Defesa de Dissertação de Mestrado: A Lógica sobre Leis iALC: Implementação de Provas de Correção e Completude e Proposta de Formalização da Legislação Brasileira

Autor:  Bernardo Pinto de Alkmim

Orientador: Edward Hermann Haeusler

Data e Hora: 11/03/2019 às 14:00

Local: RDC510

Categorias: Teses e Dissertações