Defesa de Tese de Doutorado: A labelled Natural Deduction Logical Framework

Autor: Bruno Cuconato Claro

Orientador: Edward Hermann Haeusler

Data e Hora: 15/09/202 às 10:00

Local: RDC510

Modalidade: Hibrida

Categorias: Notícias, Teses e Dissertações