Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca da FCTUNL Sala laranja/Piso 1 | Não Ficção | QA76.63.KAF FCT 76983 (Browse shelf) | 1 | Available | 77064 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala laranja/Piso 1 , Collection code: Não Ficção Close shelf browser
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
QA76.63.ILI FCT 68378 Dynamic logic based user modeling for recommender systems | QA76.63.JUN FCT 68349 Value Orderings based on Solution Counting | QA76.63.JUN FCT 68350 Value Orderings based on Solution Counting | QA76.63.KAF FCT 76983 Modeling assembly program with constraints | QA76.63.MAY FCT 68340 Towards solving a system of pseudo boolean constraints with binary decision diagrams | QA76.63.MAY FCT 68341 Towards solving a system of pseudo boolean constraints with binary decision diagrams | QA76.63.MIT FCT 69726 Answer set programming for multiagent resource allocation |
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Lógica Computacional
There are no comments for this item.