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