Repository logo
 
Thumbnail Image
Publication

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

2011Master thesis Restricted access
http://hdl.handle.net/10400.2/2169
Use this identifier to reference this record.
Name:Description:Size:Format: 
TMEMC_JoséDuarte.pdf877.71 KBAdobe PDF Download

Authors

Duarte, José Manuel da Costa

Advisor(s)

Araújo, João

Abstract(s)

Description

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

Keywords

Matemática Computação Programas de computador

URI

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

Pedagogical Context

Citation

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

Research Projects

Organizational Units

Journal Issue

Publisher

Collections

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

CC License