دانلود کتاب Computer Science Logic: 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003. Proceedings

منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003 ، دوازدهمین کنفرانس سالانه EACSL ، هشتمین گفتگوی کورت گودل ، KGC 2003 ، وین ، اتریش ، 25 تا 30 اوت 2003. مجموعه مقالات

زبان : English

نویسندگان : Parosh Aziz Abdulla, Ahmed Bouajjani, Julien d’Orso (auth.), Matthias Baaz, Johann A. Makowsky (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540408010, 9783540408017

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2803

تعداد صفحات : 596[602]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان