دانلود کتاب Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings
زبان : English
نویسندگان : Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1997
ISBN (شابک) : 3540630457, 9783540630456
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 1234
تعداد صفحات : 436[440]
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان