Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.2/2169
Título: Tradução automática das demonstrações do Prover9
Autor: Duarte, José Manuel da Costa
Orientador: Araújo, João
Palavras-chave: Matemática
Computação
Programas de computador
Data de Defesa: 2011
Citação: Duarte, José Manuel da Costa - Tradução automática das demonstrações do Prover9 [Em linha]. [Lisboa] : [s.n.], 2011. 86 p.
Descrição: Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta
URI: http://hdl.handle.net/10400.2/2169
Aparece nas colecções:Mestrado em Estatística, Matemática e Computação / Master's Degree in Statistics, Mathematics and Computation - TMEMC

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
TMEMC_JoséDuarte.pdf877,71 kBAdobe PDFVer/Abrir    Acesso Restrito. Solicitar cópia ao autor!


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.