Araújo, JoãoDuarte, José Manuel da Costa2012-09-182012-09-182011Duarte, José Manuel da Costa - Tradução automática das demonstrações do Prover9 [Em linha]. [Lisboa] : [s.n.], 2011. 86 p.http://hdl.handle.net/10400.2/2169Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade AbertaporMatemáticaComputaçãoProgramas de computadorTradução automática das demonstrações do Prover9master thesis