Detalhes para 277. Hugo Carvalho de Paula

PropriedadeValor
Nome:277. Hugo Carvalho de Paula
Descrição:

Título: Matemática feita no computador: Estudos sobre uma coleção de sistemas formais, com uma investigação sobre estruturas indutivas, e a separação entre lógica e automação em assistentes de prova

Banca Examinadora:

Prof. Dr. Carlos Eduardo Fisch de Brito (MDCC/UFC - Orientador) 
Prof. Dr. João Fernando Lima Alcântara (MDCC/UFC)
Prof. Dr. Pablo Mayckon Silva Farias (UFC)
Prof. Dr. Ruy José Guerra Barretto de Queiroz (UFPE)

Data: 24 de maio de 2018

Nome do arquivo:Link to 2018_dis_hcpaula.pdf
Tamanho do arquivo: Desconhecido
Tipo do arquivo:pdf (Tipo Mime: link)
Autor:secretariamdcc
Criado em: 22/12/2017 11:42
Viewers:Everybody
Mantido por:Editor
Hits:3359 Hits
Última atualização em: 15/10/2018 16:44
Homepage: