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
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
