×
  • Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

    Hector Geffner (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
3 - 4Hours to read