Logo do repositório
 
Miniatura
Publicação

Tradução automática das demonstrações do Prover9

2011Dissertação de mestrado Acesso restrito
http://hdl.handle.net/10400.2/2169
Utilize este identificador para referenciar este registo.
Nome:Descrição:Tamanho:Formato: 
TMEMC_JoséDuarte.pdf877.71 KBAdobe PDF Ver/Abrir

Autores

Duarte, José Manuel da Costa

Orientador(es)

Araújo, João

Resumo(s)

Descrição

Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta

Palavras-chave

Matemática Computação Programas de computador

URI

http://hdl.handle.net/10400.2/2169

Contexto Educativo

Citação

Duarte, José Manuel da Costa - Tradução automática das demonstrações do Prover9 [Em linha]. [Lisboa] : [s.n.], 2011. 86 p.

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

Coleções

Mestrado em Estatística, Matemática e Computação | Master's Degree in Statistics, Mathematics and Computation - TMEMC

Licença CC