دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183)
| عنوان فارسی | نظریه اثبات در علوم کامپیوتر: سمینار بین المللی، PTCS 2001 قلعه داگستول، آلمان، 7-12 اکتبر 2001. مجموعه مقالات (یادداشت های سخنرانی در علوم کامپیوتر، 2183) |
|---|---|
| عنوان اصلی | Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science, 2183) |
| ناشر | Springer |
| نویسنده | Reinhard Kahle (editor), Peter Schroeder-Heister (editor), Robert Stärk (editor) |
| ISBN | 354042752X, 9783540427520 |
| سال نشر | 2001 |
| زبان | English |
| تعداد صفحات | 249 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد