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.
Many-dimensional modal logics: theory and applications / D.M. Gabay,...[e altri]
| Many-dimensional modal logics: theory and applications / D.M. Gabay,...[e altri] |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Hungary : Elsevier, c2003 |
| Descrizione fisica | xviii, 747 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Kurucz, A.
Wolter, Frank <1972- > Zakharyaschev, M. |
| Collana | Studies in logic |
| Soggetto non controllato |
Logica matematica e fondamenti
Logica modale |
| ISBN | 0-444-50826-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003990420403321 |
Gabbay, Dov M. <1945- >
|
||
| Hungary : Elsevier, c2003 | ||
| 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 | ||
| ||
Quantification in nonclassical logic / D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov
| Quantification in nonclassical logic / D. M. Gabbay, V. B. Shehtman, D. P. Skvortsov |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Amsterdam : Elsevier, c2009 |
| Descrizione fisica | XXIV, 615 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Shehtman, V. B. Skvortsov, D. P. |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto non controllato | Logica matematica |
| ISBN | 978-0-444-52012-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008879800403321 |
|
Gabbay, Dov M. <1945- >
|
||
| Amsterdam : Elsevier, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Semantical Investigations in Heyting's Intuitionistic Logic / by Gabbay Doy M.
| Semantical Investigations in Heyting's Intuitionistic Logic / by Gabbay Doy M. |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Dordrecht (NL) : Reidel, c198 1. |
| Descrizione fisica | x, 294 p. ; 24 cm |
| Disciplina | 511.2 |
| Collana | Synthese Library |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001223080403321 |
|
Gabbay, Dov M. <1945- >
|
||
| Dordrecht (NL) : Reidel, c198 1. | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
