دانلود کتاب Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings
زبان : English
نویسندگان : Egon Börger, Dean Rosenzweig (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1993
ISBN (شابک) : 3540571841, 9783540571841
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 713
تعداد صفحات : 354[359]
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان