Robert, Ivo
ProverX [Documento eletrónico] / Ivo Robert : rewriting and extending prover9
ProverX [Documento eletrónico] / Ivo Robert : rewriting and extending prover9
. - [S.l.] : [s.n.], 2020
. - 1 disco ótico (CD-ROM)
. - Tese de Doutoramento em Álgebra Computacional em associação com a Faculdade de Ciências e Tecnologia da Universidade de Coimbra, apresentada à Universidade Aberta, sob orientação dos Profs. João Araújo e Robert VeroffTrata-se da versão digital da tese com a cota: L.S. 53191 TD
TDACOM / Prover9 / Mace4 / Demonstração automática de teoremas / Python / GAP /
L.C. 2318 (UAb-Lisboa) - LC0002318