مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی، LFCS 2013، سن دیگو، کالیفرنیا، ایالات متحده آمریکا، 6-8 ژانویه 2013. مجموعه مقالات
Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
نویسنده: Luca Aceto, Anna Ingólfsdóttir (auth.), Sergei Artemov, Anil Nerode (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2013
تعداد صفحات: 423
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت