Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA75.5.LEC FCT 30587 (Browse shelf) | 1 | Available | 0014268 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
QA75.5.LEC FCT 30533 Logic program synthesis and transformation - Meta-programming in logic | QA75.5.LEC FCT 30584 Computer science logic | QA75.5.LEC FCT 30586 Computer aided verification | QA75.5.LEC FCT 30587 Automata, languages and programming | QA75.5.LEC FCT 30588 Category theory and computer science | QA75.5.LEC FCT 30589 Logic and computational complexity | QA75.5.LEC FCT 30591 Fundamentals of computation theory |
There are no comments for this item.