دانلود کتاب 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، تجدید نظر انتخاب شده و دعوت مقالات |


دانلود کتاب

جزییات کتاب
این کتاب رو مطالعه کردید؟ نظر شما چیست؟