2026-09-21T02:03:08Zhttps://repositorioaberto.uab.pt/server/oai/request

oai:repositorioaberto.uab.pt:10400.2/138302025-01-18T14:51:11Zcom_10400.2_15583com_10400.2_15395com_10400.2_15392col_10400.2_15585

Araújo, João Kinyon, Michael Ferreira, Fernando Manuel Maia 2023-05-24T15:55:10Z 2023-05-24T15:55:10Z 2023-02-23 2023-05-24 Ferreira, Fernando Manuel Maia - Automated theorem proving Em linha]. [S.l.]: s.n.], [2023]. 959 p. http://hdl.handle.net/10400.2/13830 urn:tid:101649142 101649142 por Prover9 Mace4 Demonstração automática de teoremas Python Substruturas proibidas Álgebra Automated theorem proving ProverX Forbidden substructures theorems Forbidden substructure theorems doctoral thesis Tese de Doutoramento em Álgebra Computacional em associação com a Faculdade de Ciências e Tecnologia da Universidade de Coimbra, apresentada à Universidade Aberta Publication 04:Educação de Qualidade restrictedAccess doctoralThesisrestricted