Call subsumption mechanisms for tabled logic programs

Detalhes bibliográficos
Autor(a) principal: Cruz, Flávio Manuel Fernandes
Data de Publicação: 2010
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10216/59444
id RCAP_65e5d0d5821b3d2fb731750057ddac50
oai_identifier_str oai:repositorio-aberto.up.pt:10216/59444
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Call subsumption mechanisms for tabled logic programsProgramação lógicaMigração de dadosTabulação por subsumpção retroactiva20102010-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10216/59444engCruz, Flávio Manuel Fernandesinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-29T15:12:19Zoai:repositorio-aberto.up.pt:10216/59444Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T00:18:02.014811Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Call subsumption mechanisms for tabled logic programs
title Call subsumption mechanisms for tabled logic programs
spellingShingle Call subsumption mechanisms for tabled logic programs
Cruz, Flávio Manuel Fernandes
Programação lógica
Migração de dados
Tabulação por subsumpção retroactiva
title_short Call subsumption mechanisms for tabled logic programs
title_full Call subsumption mechanisms for tabled logic programs
title_fullStr Call subsumption mechanisms for tabled logic programs
title_full_unstemmed Call subsumption mechanisms for tabled logic programs
title_sort Call subsumption mechanisms for tabled logic programs
author Cruz, Flávio Manuel Fernandes
author_facet Cruz, Flávio Manuel Fernandes
author_role author
dc.contributor.author.fl_str_mv Cruz, Flávio Manuel Fernandes
dc.subject.por.fl_str_mv Programação lógica
Migração de dados
Tabulação por subsumpção retroactiva
topic Programação lógica
Migração de dados
Tabulação por subsumpção retroactiva
publishDate 2010
dc.date.none.fl_str_mv 2010
2010-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10216/59444
url http://hdl.handle.net/10216/59444
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.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799136099522576385

Registros relacionados