Duarte, José Manuel da Costa
Tradução automática das demonstrações do Prover9 [Documento eletrónico] / José Manuel da Costa Duarte
Tradução automática das demonstrações do Prover9 [Documento eletrónico] / José Manuel da Costa Duarte
. - [Lisboa : s.n.], 2011
. - 1 disco ótico (CD-ROM)
. - Tese de MEMC apresentada à Universidade Aberta sob orientação do Prof. João AraújoTrata-se da versão digital da tese com a cota: L.S. 47804 TMEMC
TMEMC / Computação / Programas de computador / Matemática /
L.C. 1174 (UAb-Lisboa) - LC0001174