Handbook of satisfiability / edited by Armin Biere ... [et al.]
Language: eng - inglesa.Country: Netherlands, Kingdom of the.Publication: Amsterdam [etc.] : IOS Press, cop. 2009Description: 966 p. : il. ; 25 cmISBN: 978-1-58603-929-5.Series: Frontiers in artificial intelligence and applications, 195Subject - Topical Name: Lógica matemática | Algoritmos de computador | Tomada de decisão| Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca da FCTUNL Sala azul/Piso 2 | Não Ficção | QA9.HAN FCT 72990 (Browse shelf) | 1 | Available | 0058014 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala azul/Piso 2 , Collection code: Não Ficção Close shelf browser
| QA9.GUI FCT 34101 Jogos lógicos | QA9.HAM FCT 22789 Logic for mathematicians | QA9.HAM FCT 31009 Logic for mathematicians | QA9.HAN FCT 72990 Handbook of satisfiability | QA9.HAN FCT 8598 Handbook of mathematical logic | QA9.HER FCT 4282 Introduction to mathematical logic | QA9.JAC FCT 48776 Categorical logic and type theory |
Adquirido DDB
There are no comments for this item.