Seminários de Matemática (Palestra 13/04/2017) ministrada pelo Prof. Dr. Jorge Deolindo, intitulada "Verificação automática de teoremas". Somente para ouvintes (estudantes).
Página oficial da atividade: matematica.blumenau.ufsc.br/seminarios/
Participante
Inscrições encerradas há aproximadamente 7 anos (17/04/2017)