Vai al contenuto principale della pagina
Titolo: | 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 |
Pubblicazione: | Berlin ; Heidelberg : Springer, 2009 |
Persona (resp. second.): | Goebel, Randy |
Hutchison, David | |
Kanade, Takeo | |
Kittler, Josef | |
Kleinberg, Jon M. | |
Mattern, Friedemann | |
Mitchell, John C. | |
Naor, Moni | |
Nierstrasz, Oscar | |
Pandu Rangan, C. | |
Peled, Doron A. | |
Siekmann, Jörg | |
Steffen, Bernhard | |
Sudan, Madhu | |
Terzopoulos, Demetri | |
Tygar, Doug | |
Vardi, Moshe Y. | |
Wahlster, Wolfgang | |
Weikum, Gerhard | |
Wooldridge, Michael J. | |
Type File/ Data Note: | Formato html, pdf |
Requisiti sistema: | Formato html, pdf |
Titolo autorizzato: | Model Checking and Artificial Intelligence |
ISBN: | 9783642004315 |
Formato: | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990009259360403321 |
Lo trovi qui: | Univ. Federico II |
Localizzazioni e accesso elettronico | http://dx.doi.org/10.1007/978-3-642-00431-5 |
Opac: | Controlla la disponibilità qui |