Item type | Current location | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 47595 | LIVRO vol.1 | Available | 127785 | ||
Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 47596 | LIVRO vol.2 | Available | 127786 | ||
Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109348 | LIVRO vol.3 | Available | 127787 | ||
Monografia | Biblioteca da UMinho no Campus de Azurém | BPG3 519.6 - H | LIVRO vol.1 | Available | 144126 | ||
Monografia | Biblioteca da UMinho no Campus de Azurém | BPG3 519.6 - H | LIVRO vol.2 | Available | 144127 | ||
Monografia | Biblioteca da UMinho no Campus de Azurém | BPG3 519.6 - H | LIVRO vol.3 | Available | 144128 | ||
Monografia | Biblioteca da UMinho no Campus de Azurém | BPG3 519.6 - H | LIVRO vol.4 | Available | 144129 | ||
Monografia | Biblioteca Geral da Universidade do Minho | BGUMD 109347 | LIVRO vol.4 | Available | 150320 |
vol.1 : Logical foundations / coord. J. Siekmann. - 1993. - XIII, 518 p
vol.2 : Deduction methodologies / coord. J. Siekmann. - 1994. - XV, 511 p
vol.3 : Nonmonotonic reasoning and uncertain reasoning / coord. D. Nute. - 1994. - XIX, 529 p
vol.4 : Epistemic and temporal reasoning. - 1995. - XVI, 611 p.
There are no comments for this item.