Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 1st Auflage verfasst von Stefan Edelkamp; ‎Alessio Lomuscio und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Model Checking and Artificial Intelligence lauten 9783540741282, 3540741283 und die Druck-ISBNs lauten 9783540741275, 3540741275. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers 1st Auflage verfasst von Stefan Edelkamp; ‎Alessio Lomuscio und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Model Checking and Artificial Intelligence lauten 9783540741282, 3540741283 und die Druck-ISBNs lauten 9783540741275, 3540741275. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.