خانه / تمامی کتاب‌ها / کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

Name: Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings
Rating: 4.8 (11 reviews)
Author: Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

نویسنده: Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)

شماره سریال: ۹۷۸۳۵۴۰۴۲۷۵۲۰

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۱

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۲ مگابایت

تعداد صفحات

۲۴۸.۰

قیمت کتاب: ۶۹,۹۰۰ تومان

توضیحات

معرفی کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings نوشته Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg (auth.), Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها