Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Teses e dissertações | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA76.63.NIG FCT 63171 (Browse shelf) | 1 | Available | 0046831 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 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 | |||
QA76.63.MAR FCT 86515 Programming with constraints | QA76.63.MAY FCT 68342 Towards solving a system of pseudo boolean constraints with binary decision diagrams | QA76.63.MIT FCT 69728 Answer set programming for multiagent resource allocation | QA76.63.NIG FCT 63171 Dynamic logic programming and 3APL | QA76.63.NUG FCT 63727 A fuzzy description logic with modifiers | QA76.63.QUA FCT 70392 Evolving electronic institutions | QA76.63.SAL FCT 80486 Constraint reasoning with local search for continuous optimization |
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.