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

نظریه اثبات در علوم کامپیوتر: سمینار بین المللی ، PTCS 2001 قلعه داگستول ، آلمان ، 7 تا 12 اکتبر ، مجموعه مقالات

زبان : English

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

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2001

ISBN (شابک) : 354042752X, 9783540427520

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2183

تعداد صفحات : 246[248]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان