Logo do repositório
 
Publicação

Forbidden substructure theorems

2023-02-23Tese de doutoramento Acesso restrito
Ver registo simples
datacite.subject.sdg04:Educação de Qualidadept_PT
dc.contributor.advisorAraújo, João
dc.contributor.advisorKinyon, Michael
dc.contributor.authorFerreira, Fernando Manuel Maia
dc.date.accessioned2023-05-24T15:55:10Z
dc.date.available2023-05-24T15:55:10Z
dc.date.issued2023-02-23
dc.date.submitted2023-05-24
dc.identifier.citationFerreira, Fernando Manuel Maia - Automated theorem proving Em linha]. [S.l.]: s.n.], [2023]. 959 p.
dc.identifier.tid101649142pt_PT
dc.identifier.urihttp://hdl.handle.net/10400.2/13830
dc.language.isoporpt_PT
dc.subjectProver9pt_PT
dc.subjectMace4pt_PT
dc.subjectDemonstração automática de teoremaspt_PT
dc.subjectPythonpt_PT
dc.subjectSubstruturas proibidaspt_PT
dc.subjectÁlgebrapt_PT
dc.subjectAutomated theorem provingpt_PT
dc.subjectProverXpt_PT
dc.subjectForbidden substructures theoremspt_PT
dc.titleForbidden substructure theoremspt_PT
dc.typedoctoral thesis
dspace.entity.typePublication
rcaap.rightsrestrictedAccesspt_PT
rcaap.typedoctoralThesispt_PT
thesis.degree.nameTese de Doutoramento em Álgebra Computacional em associação com a Faculdade de Ciências e Tecnologia da Universidade de Coimbra, apresentada à Universidade Abertapt_PT

Ficheiros

Principais
A mostrar 1 - 3 de 3
Miniatura indisponível
Nome:
TD_FernadoFerreira.pdf
Tamanho:
8.5 MB
Formato:
Adobe Portable Document Format
Ver/Abrir
Miniatura
Nome:
TD_FernandoFerreira_Resumo.pdf
Tamanho:
100.08 KB
Formato:
Adobe Portable Document Format
Ver/Abrir
Miniatura
Nome:
TD_FernandoFerreira_Abstract.pdf
Tamanho:
68.68 KB
Formato:
Adobe Portable Document Format
Ver/Abrir
Licença
A mostrar 1 - 1 de 1
Miniatura indisponível
Nome:
license.txt
Tamanho:
1.97 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Ver/Abrir

Coleções

Álgebra Computacional (Associação Universidade Aberta | Faculdade de Ciências e Tecnologia da Universidade de Coimbra)