DEFESA DE DISSERTAÇÃO DE MESTRADO: “Construindo Tableaux para Lógica Linear Intuicionista” do aluno Hugo Hoffmann Borges

Data: 11/03/2022 às 09hrs

Local:  Videoconferência

Orientador: Luiz Carlos Pinheiro Dias
Pereira

 

Comunicação

Compartilhar
Tweet about this on TwitterShare on FacebookShare on Google+Print this pageEmail this to someone

Defesas

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *