Paula, H. C. d. (2018). 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.
Referência de acordo com a norma ChicagoPaula, Hugo Carvalho de. 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. 2018.
Referência de acordo com a norma MLAPaula, Hugo Carvalho de. 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. 2018.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma, para gerenciar as citações recomenda-se a utilização do software Zotero
, que permite o upload automático das referências do Oasisbr.