خرید و دانلود نسخه کامل کتاب Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

مبانی منطقی علوم کامپیوتر: چهارمین سمپوزیوم بین المللی، LFCS'97 یاروسلاول، روسیه، 6 تا 12 ژوئیه، 1997 مجموعه مقالات

Logical Foundations of Computer Science: 4th International Symposium, LFCS'97 Yaroslavl, Russia, July 6–12, 1997 Proceedings

نویسنده: Sergei Artemov, Jennifer Davoren, Anil Nerode (auth.), Sergei Adian, Anil Nerode (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1997

تعداد صفحات: 436 [440]

زبان: English

فرمت: djvu - قابل تبدیل به سایر فرمت ها

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