دانلود کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
| عنوان فارسی | قضیه اثبات در منطق مرتبه بالاتر: هفدهمین کنفرانس بین المللی ، TPHOLS 2004 ، پارک سیتی ، یوتا ، ایالات متحده ، 14-17 سپتامبر 2004 ، مجموعه مقالات |
|---|---|
| عنوان اصلی | Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings |
| ناشر | Springer |
| نویسنده | Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan |
| ISBN | 3540230173, 9783540301424 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 349 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد