دانلود کتاب Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings



زبان : English

نویسندگان : Leo Bachmair (auth.), Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1997

ISBN (شابک) : 3540633855, 9783540633853

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

سری : Lecture Notes in Computer Science 1289

تعداد صفحات : 355[358]

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

فرمت کتاب : djvu

قیمت : 36000 تومان