Forbidden substructure theorems

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorAraújo, João-
Autor(es): dc.contributorKinyon, Michael-
Autor(es): dc.creatorFerreira, Fernando Manuel Maia-
Data de aceite: dc.date.accessioned2025-08-21T15:16:30Z-
Data de disponibilização: dc.date.available2025-08-21T15:16:30Z-
Data de envio: dc.date.issued2023-05-24-
Data de envio: dc.date.issued2023-05-24-
Data de envio: dc.date.issued2023-02-22-
Data de envio: dc.date.issued2023-05-24-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/13830-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/13830-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Formato: dc.formatapplication/pdf-
Idioma: dc.languagept_BR-
Palavras-chave: dc.subjectProver9-
Palavras-chave: dc.subjectMace4-
Palavras-chave: dc.subjectDemonstração automática de teoremas-
Palavras-chave: dc.subjectPython-
Palavras-chave: dc.subjectSubstruturas proibidas-
Palavras-chave: dc.subjectÁlgebra-
Palavras-chave: dc.subjectAutomated theorem proving-
Palavras-chave: dc.subjectProverX-
Palavras-chave: dc.subjectForbidden substructures theorems-
Título: dc.titleForbidden substructure theorems-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.