Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | QA9.CHA FCT 21238 (Browse shelf) | 1 | Available | 0016644 |
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 | |||||
QA9.ABR FCT 79680 Revision based total semantics for extended normal logic programs | QA9.CHA FCT 21234 Symbolic logic and mechanical theorem proving | QA9.CHA FCT 21237 Symbolic logic and mechanical theorem proving | QA9.CHA FCT 21238 Symbolic logic and mechanical theorem proving | QA9.GRI FCT 68491 Lógica moderna | QA9.GRI FCT 68492 Lógica moderna | QA9.GRI FCT 68493 Lógica moderna |
There are no comments for this item.