دانلود کتاب Logical Foundations of Computer Science: Third International Symposium, LFCS '94 St. Petersburg, Russia, July 11–14, 1994 Proceedings
زبان : English
نویسندگان : Farid Ablayev (auth.), Anil Nerode, Yu. V. Matiyasevich (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 1994
ISBN (شابک) : 3540581405, 9783540581406
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 813
تعداد صفحات : 397[402]
حجم : 3 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان