Towards structurally-free theorem proving

Detalhes bibliográficos
Autor(a) principal: Finger, Marcelo
Data de Publicação: 1998
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Texto Completo: https://doi.org/10.1093/jigpal/6.3.425
id USP-2_04f384c9bd8a07d0f238ff87affc2408
oai_identifier_str 001032789
network_acronym_str USP-2
network_name_str Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
repository_id_str 2721
spelling Towards structurally-free theorem provingLÓGICA1998info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttps://doi.org/10.1093/jigpal/6.3.425Finger, Marceloengreponame:Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)instname:Universidade de São Paulo (USP)instacron:USPinfo:eu-repo/semantics/openAccess2026-01-02T15:38:00Z001032789Repositório InstitucionalPUBhttp://www.producao.usp.br/oai/requestopendoar:27212026-01-02T15:38Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) - Universidade de São Paulo (USP)false
dc.title.none.fl_str_mv Towards structurally-free theorem proving
title Towards structurally-free theorem proving
spellingShingle Towards structurally-free theorem proving
Finger, Marcelo
LÓGICA
title_short Towards structurally-free theorem proving
title_full Towards structurally-free theorem proving
title_fullStr Towards structurally-free theorem proving
title_full_unstemmed Towards structurally-free theorem proving
title_sort Towards structurally-free theorem proving
author Finger, Marcelo
author_facet Finger, Marcelo
author_role author
dc.contributor.author.fl_str_mv Finger, Marcelo
dc.subject.por.fl_str_mv LÓGICA
topic LÓGICA
publishDate 1998
dc.date.none.fl_str_mv 1998
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://doi.org/10.1093/jigpal/6.3.425
url https://doi.org/10.1093/jigpal/6.3.425
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.source.none.fl_str_mv reponame:Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
instname:Universidade de São Paulo (USP)
instacron:USP
instname_str Universidade de São Paulo (USP)
instacron_str USP
institution USP
reponame_str Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
collection Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
repository.name.fl_str_mv Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual) - Universidade de São Paulo (USP)
repository.mail.fl_str_mv
_version_ 1853314367014043648

Registros relacionados