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.CER FCT 74797 (Browse shelf) | 1 | Available | 0060379 |
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.575.MEN FCT 78549 ARTiVIS | QA76.63.BAR FCT 74259 A proof theory of interpolation | QA76.63.BUE FCT 74807 Constraint-based modeling of minimum set covering | QA76.63.CER FCT 74797 Negative non-ground queries in well founded semantics | QA76.63.GUA FCT 73539 Multilple sequence alignement correction using constrains | QA76.63.ILI FCT 68377 Dynamic logic based user modeling for recommender systems | QA76.63.ILI FCT 68378 Dynamic logic based user modeling for recommender systems |
Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Lógica computacional
There are no comments for this item.