datacite.subject.sdg	04:Educação de Qualidade	pt_PT
dc.contributor.advisor	Araújo, João
dc.contributor.advisor	Kinyon, Michael
dc.contributor.author	Ferreira, Fernando Manuel Maia
dc.date.accessioned	2023-05-24T15:55:10Z
dc.date.available	2023-05-24T15:55:10Z
dc.date.issued	2023-02-23
dc.date.submitted	2023-05-24
dc.identifier.citation	Ferreira, Fernando Manuel Maia - Automated theorem proving Em linha]. [S.l.]: s.n.], [2023]. 959 p.
dc.identifier.tid	101649142	pt_PT
dc.identifier.uri	http://hdl.handle.net/10400.2/13830
dc.language.iso	por	pt_PT
dc.subject	Prover9	pt_PT
dc.subject	Mace4	pt_PT
dc.subject	Demonstração automática de teoremas	pt_PT
dc.subject	Python	pt_PT
dc.subject	Substruturas proibidas	pt_PT
dc.subject	Álgebra	pt_PT
dc.subject	Automated theorem proving	pt_PT
dc.subject	ProverX	pt_PT
dc.subject	Forbidden substructures theorems	pt_PT
dc.title	Forbidden substructure theorems	pt_PT
dc.type	doctoral thesis
dspace.entity.type	Publication
rcaap.rights	restrictedAccess	pt_PT
rcaap.type	doctoralThesis	pt_PT
thesis.degree.name	Tese de Doutoramento em Álgebra Computacional em associação com a Faculdade de Ciências e Tecnologia da Universidade de Coimbra, apresentada à Universidade Aberta	pt_PT

Forbidden substructure theorems

Files