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 | ||
| ||
Handbook of philosophical logic : Alternatives in classical logic / Editred by D. Gabbay and F. Guenthner
| Handbook of philosophical logic : Alternatives in classical logic / Editred by D. Gabbay and F. Guenthner |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1986 |
| Collana | Synthese Library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001288730403321 |
Gabbay, Dov M. <1945- >
|
||
| Dordrecht (NL) : Reidel, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner
| Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1983-1989 |
| Descrizione fisica | 4 v. ; 23 cm |
| Disciplina | 160 |
| Collana | Synthese Library |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN |
90-277-1542-4
90-277-1604-8 90-277-1605-6 90-277-1606-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000996540403321 |
|
Gabbay, Dov M. <1945- >
|
||
| Dordrecht (NL) : Reidel, 1983-1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of philosophical logic : Topics in the Philosophy of Language / Edited by D. Gabbay and F. Guenthner
| Handbook of philosophical logic : Topics in the Philosophy of Language / Edited by D. Gabbay and F. Guenthner |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1989 |
| Descrizione fisica | X,717 p. ; 23 cm |
| Collana | Synthese Library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001288700403321 |
| Dordrecht (NL) : Reidel, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of philosophical logic : Elements of classical logic / Edited by D. Gabbay and F. Guenthner
| Handbook of philosophical logic : Elements of classical logic / Edited by D. Gabbay and F. Guenthner |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, 1983 |
| Collana | Synthese Library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001288720403321 |
| Dordrecht (NL) : Reidel, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Investigations in modal and tense logics with applications to problems in philosophy and linguistics. / by Gabbay D.M.
| Investigations in modal and tense logics with applications to problems in philosophy and linguistics. / by Gabbay D.M. |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Boston [etc.] : Reidel, 1976 |
| Collana | Synthese Library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001223090403321 |
|
Gabbay, Dov M. <1945- >
|
||
| Boston [etc.] : Reidel, 1976 | ||
| 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 | ||
| ||
