Bibliotecas de axiomáticas - conceitos e resultados para sistemas algébricos / João Jorge da Costa Vieira Ramires
Autor Ramires, João Jorge da Costa Vieira Publicação [S.l.] : [s.n.], 2022 Descrição PDF 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 da Prof. dos João Jorge Ribeiro Soares Gonçalves de Araújo, David Martins de Matos Nome comum TDACOMModelos
Teoremas
Demonstração automática de teoremas
Prover9
MarcieX Acesso virtual Referência no Repositório Aberto
| Tipo de documento | Localização | Cota | Estado | Data de devolução | Código de barras |
|---|---|---|---|---|---|
| Documento eletrónico | UAb-Lisboa | Digital 43722 | Não requisitável |
Clicar numa imagem para a ver no visualizador de imagens
Não há comentários disponíveis sobre este título.