Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Deduction methodologies / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator J. Siekmann
| Deduction methodologies / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator J. Siekmann |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1994 |
| Descrizione fisica | xiii, 511 p. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Handbook of logic in computer science and artificial intelligence and logic programming |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 0-19-853746-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001484440403321 |
| Oxford : Clarendon Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Epistemic and temporal reasoning / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator Antony Galton
| Epistemic and temporal reasoning / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator Antony Galton |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1995 |
| Descrizione fisica | xvi, 611 p. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Handbook of logic in computer science and artificial intelligence and logic programming |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 0-19-853791-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001484460403321 |
| Oxford : Clarendon Press, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of logic in artificial intelligence and logic programming / editors Dov M. Gabbay, C.J. Hogger and J.A. Robinson
| Handbook of logic in artificial intelligence and logic programming / editors Dov M. Gabbay, C.J. Hogger and J.A. Robinson |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1993-1998 |
| Descrizione fisica | 5 v. ; 24 cm |
| Disciplina | 006.3 |
| Soggetto non controllato | Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001484420403321 |
| Oxford : Clarendon Press, 1993-1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Introduzione alla programmazione logica / Christofer John Hogger . - A cura di Alfon so Miola. - Traduzione di Rosy Fornasini
| Introduzione alla programmazione logica / Christofer John Hogger . - A cura di Alfon so Miola. - Traduzione di Rosy Fornasini |
| Autore | Hogger, Christofer John |
| Pubbl/distr/stampa | Milano : Masson, 1987. - (Manuali di Informatica Masson) |
| Descrizione fisica | X, 282 p. ; 24 cm |
| Soggetto non controllato | Informatica, Informatica applicata alla statistica |
| ISBN | 8821406156 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990002506340403321 |
Hogger, Christofer John
|
||
| Milano : Masson, 1987. - (Manuali di Informatica Masson) | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator J. Siekmann
| Logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator J. Siekmann |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1998 |
| Descrizione fisica | xv, 799 p. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Handbook of logic in artificial intelligence and logic programming |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 0-19-853792-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001484470403321 |
| Oxford : Clarendon Press, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logical foundations / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator J. Siekmann
| Logical foundations / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator J. Siekmann |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1993 |
| Descrizione fisica | xiii, 518 p. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Handbook of logic in computer science and artificial intelligence and logic programming |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 0-19-853745-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001484430403321 |
| Oxford : Clarendon Press, 1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator D. Nute
| Nonmonotonic reasoning and uncertain reasoning / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson ; volume co-ordinator D. Nute |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1994 |
| Descrizione fisica | xix, 529 p. ; 24 cm |
| Disciplina | 006.3 |
| Collana | Handbook of logic in computer science and artificial intelligence and logic programming |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 0-19-853747-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001484450403321 |
| Oxford : Clarendon Press, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||