Publication
Tradução automática das demonstrações do Prover9
| dc.contributor.advisor | Araújo, João | |
| dc.contributor.author | Duarte, José Manuel da Costa | |
| dc.date.accessioned | 2012-09-18T12:50:49Z | |
| dc.date.available | 2012-09-18T12:50:49Z | |
| dc.date.issued | 2011 | |
| dc.description | Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta | por |
| dc.identifier.citation | Duarte, José Manuel da Costa - Tradução automática das demonstrações do Prover9 [Em linha]. [Lisboa] : [s.n.], 2011. 86 p. | por |
| dc.identifier.uri | http://hdl.handle.net/10400.2/2169 | |
| dc.language.iso | por | por |
| dc.subject | Matemática | por |
| dc.subject | Computação | por |
| dc.subject | Programas de computador | por |
| dc.title | Tradução automática das demonstrações do Prover9 | por |
| dc.type | master thesis | |
| dspace.entity.type | Publication | |
| rcaap.rights | restrictedAccess | por |
| rcaap.type | masterThesis | por |