دانلود کتاب Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
منطق علوم کامپیوتر: چهاردهمین کارگاه بین المللی ، کنفرانس سالانه CSL 2000 EACSL فیشباچائو ، آلمان ، 21 تا 26 اوت 2000
زبان : English
نویسندگان : Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2000
ISBN (شابک) : 3540678956, 9783540678953
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1862
تعداد صفحات : 550[555]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان