Handbook of logic in artificial intelligence and logic programming / Dov M. Gabbay, C. J. Hogger, J. A. Robinson ; colab. J. Siekmann
Publication: Oxford : Clarendon, 1996Description: [pag.var] : il.ISBN: 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).Contents note: 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 Subject - Topical Name: Inteligência artificial | Programação lógica | Lógica simbólica | Lógica matemática| Item type | Current location | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Livro | Biblioteca do ISEL | GAB. 004.8 (Browse shelf) | Available | 1011036 | ||
| Livro | Biblioteca do ISEL | GAB. 004.8 (Browse shelf) | Available | 1011037 | ||
| Livro | Biblioteca do ISEL | GAB. 004.8 (Browse shelf) | Available | 1011039 | ||
| Livro | Biblioteca do ISEL | GAB. 004.8 (Browse shelf) | Available | 1011040 | ||
| Livro | Biblioteca do ISEL | GAB. 004.8 (Browse shelf) | Available | 1011041 |
Total holds: 0
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.
There are no comments for this item.