Seminários de Matemática - Palestra 13/04/2017

Palestra 13/04/2017

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: http://matematica.blumenau.ufsc.br/seminarios/

Participante

Inscrições encerradas