Contém 5 volumes.
Vol. 1: Logical foundations. - 1993. - XIII, 518 p..
Vol. 2: Deduction methodologies. - 1994. - XV, 511 p..
Vol.3: Nonmonotonic reasoning and uncertain reasoning. - 1994. - XIX, 529 p..
Vol. 4: Epistemic and temporal reasoning. - 1995. - XVI, 611 p..
Vol. 5: Logic programming. - 1998. - XV, 799 p..
0-19-853745-X (Vol.1)
ISBN: 0-19-853746-8 (Vol. 2) ISBN: 0-19-853747-6 (Vol. 3)ISBN: 0-19-853791-3 (Vol. 4)ISBN: 0-19-853792-1 (vol. 5)004.8
Tipo de Documento | Biblioteca Localização | Cota | Nº de Registo | Código de Barras | Numeração (volume ou outra parte) | Notas Públicas | Data de Empréstimo | Data de Devolução | Estatuto de Item Retirado |
---|---|---|---|---|---|---|---|---|---|
Livro | Biblioteca do ISEL Biblioteca do ISEL | GAB. 004.8 | 10061 | 1011036 | Volume 1 | ||||
Livro | Biblioteca do ISEL Biblioteca do ISEL | GAB. 004.8 | 10062 | 1011037 | Volume 2 | ||||
Livro | Biblioteca do ISEL Biblioteca do ISEL | GAB. 004.8 | 10063 | 1011039 | Volume 3 | ||||
Livro | Biblioteca do ISEL Biblioteca do ISEL | GAB. 004.8 | 10064 | 1011040 | Volume 4 | ||||
Livro | Biblioteca do ISEL Biblioteca do ISEL | GAB. 004.8 | 10065 | 1011041 | Volume 5 |