- Hutchison, David
- Goebel, Randy
- 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
2009
Details
- Autor(en) / Beteiligte
- Hutchison, David
- Goebel, Randy
- 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
- Titel
- Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers [Elektronische Ressource]
- Ort / Verlag
- Berlin, Heidelberg : Springer Berlin Heidelberg
- Erscheinungsjahr
- 2009
- Link zum Volltext
- Sprache
- –
- Identifikatoren
- ISBN: 9783642004315DOI: 10.1007/978-3-642-00431-5OCLC-Nummer: 1074279780, 1074279780Titel-ID: 990173943860206441
- Format
- –
- Schlagworte
- Künstliche Intelligenz, Model Checking, Artificial intelligence, Computer science, Logic design, Software engineering