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.
Artificial intelligence today : recent trends and developments / Michael J. Wooldridge ...[et al.] (eds.)
| Artificial intelligence today : recent trends and developments / Michael J. Wooldridge ...[et al.] (eds.) |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, copyr. 1999 |
| Descrizione fisica | VIII, 487 p. : ill. ; 23 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato | intelligenza artificiale |
| ISBN | 3-540-66428-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200990203316 |
| Berlin : Springer-Verlag, copyr. 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Intelligent agents : agent theories, architecture and linguages, Amsterdam, The Netherlands, August 1994 : proceedings / Michael J. Wooldridge (ed.)
| Intelligent agents : agent theories, architecture and linguages, Amsterdam, The Netherlands, August 1994 : proceedings / Michael J. Wooldridge (ed.) |
| Descrizione fisica | VIII, 407 p. : ill. ; 24 cm |
| Disciplina | 0063 |
| Collana | Lecture notes in artificial intelligence |
| Soggetto non controllato |
congressi - amsterdam - 1994
intelligenza artificiale - congressi - 1994 |
| ISBN | 3-540-58855-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000200050203316 |
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
|
Model Checking and Artificial Intelligence [Risorsa elettronica] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge
| Model Checking and Artificial Intelligence [Risorsa elettronica] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Randy Goebel, Jörg Siekmann, Wolfgang Wahlster, Doron A. Peled, Michael J. Wooldridge |
| Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
| Collana | Lecture Notes in Computer Science |
| ISBN | 9783642004315 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009259360403321 |
| Berlin ; Heidelberg : Springer, 2009 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. Federico II | ||
| ||