A carregar...
Publicação
Forbidden substructure theorems
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 8.5 MB | Adobe PDF | |||
| 100.08 KB | Adobe PDF | |||
| 68.68 KB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
Descrição
Palavras-chave
Prover9 Mace4 Demonstração automática de teoremas Python Substruturas proibidas Álgebra Automated theorem proving ProverX Forbidden substructures theorems
Contexto Educativo
Citação
Ferreira, Fernando Manuel Maia - Automated theorem proving Em linha]. [S.l.]: s.n.], [2023]. 959 p.