خرید و دانلود نسخه کامل کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2007، نیویورک، نیویورک، ایالات متحده آمریکا، 4-7 ژوئن 2007. مجموعه مقالات

Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

نویسنده: Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

تعداد صفحات: 522

زبان: English

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

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