Propriedade | Valor |
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:
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: |