Certificamos que Daniele da Silva Alves participou da XXVIII SEMANA DA LICENCIATURA EM MATEMÁTICA, realizada na Unesp/Câmpus Bauru, em novembro de 2016. Data 23 e 24 de novembro
Atividade -
Carga horária
Minicurso: Provadores automáticos de teoremas para a lógica proposicional clássica
4h Carga horária total
Bauru, 29 de novembro de 2016.
4h
