Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca da FCTUNL Depósito 1 | Não Ficção | CIUL-452 FCT 84350 (Browse shelf) | 1 | Available | 84471 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Depósito 1 , Collection code: Não Ficção Close shelf browser
CIUL-449 FCT 84347 Teaching informatics courses | CIUL-450 FCT 84348 Automatic natural language parsing | CIUL-451 FCT 84349 Security IFIP/Sec'83 | CIUL-452 FCT 84350 Automation of reasoning | CIUL-453 FCT 84351 Using sophisticated models in resolution theorem proving | CIUL-454 FCT 84352 Parsing natural language | CIUL-456 FCT 84353 Théorie des codes |
There are no comments for this item.