Spelling suggestions: "subject:"tabulação por subsumption retroactive"" "subject:"tabulação por subsumption retroativa""
1 |
Call subsumption mechanisms for tabled logic programsCruz, Flávio Manuel Fernandes January 2010 (has links)
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
|
Page generated in 0.0789 seconds