دانلود کتاب Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
by Hector Geffner (auth.)
|
عنوان فارسی: چک کردن مدل و هوش مصنوعی: 6 بین المللی کارگاه، MoChArt 2010، آتلانتا، GA، ایالات متحده، 11 جولای 2010، تجدید نظر انتخاب شده و دعوت مقالات |