دانلود کتاب Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
| عنوان فارسی | بررسی مدل و هوش مصنوعی: ششمین کارگاه بین المللی، MoChArt 2010، آتلانتا، GA، ایالات متحده آمریکا، 11 ژوئیه 2010، مقالات منتخب و دعوت شده اصلاح شده |
|---|---|
| عنوان اصلی | Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Hector Geffner (auth.), Ron van der Meyden, Jan-Georg Smaus (eds.) |
| ISBN | 9783642206733, 9783642206740 |
| سال نشر | 2011 |
| زبان | English |
| تعداد صفحات | 131 [138] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد