دانلود کتاب Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings
| عنوان فارسی | اثبات قضیه با جدول های تحلیلی و روش های مرتبط: پنجمین کارگاه بین المللی، TABLEAUX '96 Terrasini، پالرمو، ایتالیا، 15–17 می، 1996 مجموعه مقالات |
|---|---|
| عنوان اصلی | Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96 Terrasini, Palermo, Italy, May 15–17, 1996 Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Peter B. Andrews, Matthew Bishop (auth.), P. Miglioli, U. Moscato, D. Mundici, M. Ornaghi (eds.) |
| ISBN | 3540612084, 9783540612087 |
| سال نشر | 1996 |
| زبان | English |
| تعداد صفحات | 336 [341] |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 62,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد