خرید و دانلود نسخه کامل کتاب 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)

نویسنده: Reinhard Kahle (editor), Peter Schroeder-Heister (editor), Robert Stärk (editor)

ناشر: Springer

سال انتشار: 2001

تعداد صفحات: 249

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت