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

Please use this identifier to cite or link to this item: http://acervodigital.unesp.br/handle/10400.2/2169

Full metadata record

DC Field	Value	Language
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.accessioned	2017-12-14T17:39:29Z	-
dc.date.available	2012-09-18T12:50:49Z	-
dc.date.available	2017-12-14T17:39:29Z	-
dc.date.issued	2011	-
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.identifier.uri	http://acervodigital.unesp.br/handle/10400.2/2169	-
dc.description	Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta	por
dc.language.iso	por	por
dc.rights	restrictedAccess	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	outro	por
Appears in Collections:	Dissertações de Mestrado - Universidade Aberta de Portugal

There are no files associated with this item.

Show simple item record Show full item record View Statistics