Loading...
Publication
Forbidden substructure theorems
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 8.5 MB | Adobe PDF | |||
| 100.08 KB | Adobe PDF | |||
| 68.68 KB | Adobe PDF |
Authors
Advisor(s)
Abstract(s)
Description
Keywords
Prover9 Mace4 Demonstração automática de teoremas Python Substruturas proibidas Álgebra Automated theorem proving ProverX Forbidden substructures theorems
Pedagogical Context
Citation
Ferreira, Fernando Manuel Maia - Automated theorem proving Em linha]. [S.l.]: s.n.], [2023]. 959 p.