You are in the accessibility menu

Please use this identifier to cite or link to this item: http://acervodigital.unesp.br/handle/10400.2/2169
Title: 
Tradução automática das demonstrações do Prover9
Author(s): 
Duarte, José Manuel da Costa
Description: 
Dissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta
Issue Date: 
2011
Citation: 
Duarte, José Manuel da Costa - Tradução automática das demonstrações do Prover9 [Em linha]. [Lisboa] : [s.n.], 2011. 86 p.
Keywords: 
  • Matemática
  • Computação
  • Programas de computador
URI: 
Rights: 
restrictedAccess
Type: 
outro
Source:
http://repositorioaberto.uab.pt/handle/10400.2/2169
Appears in Collections:Dissertações de Mestrado - Universidade Aberta de Portugal

There are no files associated with this item.
Show full item record   View Statistics
 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.