Araújo, JoãoKinyon, MichaelFerreira, Fernando Manuel Maia2023-05-242023-05-242023-02-232023-05-24Ferreira, Fernando Manuel Maia - Automated theorem proving Em linha]. [S.l.]: s.n.], [2023]. 959 p.http://hdl.handle.net/10400.2/13830porProver9Mace4Demonstração automática de teoremasPythonSubstruturas proibidasÁlgebraAutomated theorem provingProverXForbidden substructures theoremsdoctoral thesis101649142