دانلود کتاب Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings
| عنوان فارسی | استدلال خودکار با جدول های تحلیلی و روش های مرتبط: شانزدهمین کنفرانس بین المللی، TABLEAUX 2007، Aix en Provence، فرانسه، 3-6 ژوئیه، 2007. مجموعه مقالات |
|---|---|
| عنوان اصلی | Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Piero A. Bonatti (auth.), Nicola Olivetti (eds.) |
| ISBN | 3540730982, 9783540730989 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 250 [255] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد