| 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 | QA76.63.WOL FCT 23263 (Browse shelf) | 1 | Available | 0014823 |
Browsing Biblioteca da FCTUNL Shelves , Shelving location: Sala azul/Piso 2 , Collection code: Não Ficção Close shelf browser
| No cover image available | ||||||||
| QA76.63.SPI FCT 31288 An introduction to logic programming through Prolog | QA76.63.TEN FCT 27757 1985-1991 | QA76.63.TYP FCT 22117 Types in logic programming | QA76.63.WOL FCT 23263 The clausal theory of types | QA76.63.WOL FCT 24419 The clausal theory of types | QA76.63.YAS FCT 35111 Logic and programming in logic | QA76.64.ABA FCT 34553 A theory of objects |
There are no comments for this item.