Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras,…
by Hutchison, David, Siekmann, Jörg, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Goebel, Randy, Wooldridge, Michael J., Wahlster, Wolfgang, Peled, Doron A.
fromLecture Notes in Computer Science
0
Type: Book