Browsing by Subject Programação lógica
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2010 | Call subsumption mechanisms for tabled logic programs | Cruz, Flávio Manuel Fernandes | Dissertação |
Issue Date | Title | Author(s) | Type |
---|---|---|---|
2010 | Call subsumption mechanisms for tabled logic programs | Cruz, Flávio Manuel Fernandes | Dissertação |