Return to search

Call subsumption mechanisms for tabled logic programs

Estágio realizado na ... e orientado pelo Eng.º / Documento confidencial. Não pode ser disponibilizado para consulta / Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010

Identiferoai:union.ndltd.org:up.pt/oai:repositorio-aberto.up.pt:10216/59444
Date January 2010
CreatorsCruz, Flávio Manuel Fernandes
ContributorsRocha, Ricardo Jorge Gomes Lopes da, Universidade do Porto. Faculdade de Engenharia
Source SetsUniversidade do Porto
LanguageEnglish
Detected LanguagePortuguese
TypeDissertação
Format197 p., 30 cm, application/pdf, application/pdf
RightsopenAccess
RelationVersãofinal

Page generated in 0.0021 seconds