ProverX : rewriting and extending prover9 / Ivo Robert
Autor Robert, Ivo Publicação [S.l.] : [s.n.], 2020 Descrição 1 disco ótico (CD-ROM) Tese 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 Nome comum TDACOM
Prover9
Mace4
Demonstração automática de teoremas
Python
GAP Acesso virtual Acesso no Repositório Aberto
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Documento eletrónico | UAb-Lisboa | L.C. 2318 | Não requisitável | LC0002318 |
Requisitos do sistema: Acrobat Reader
Clicar numa imagem para a ver no visualizador de imagens
Não há comentários disponíveis sobre este título.