دانلود کتاب 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، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات) نوشته شده توسط «Parosh Aziz Abdulla – Ahmed Bouajjani – Julien d’Orso (auth.) – Matthias Baaz – Johann A. Makowsky (eds.)»
اطلاعات کتاب منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Parosh Aziz Abdulla – Ahmed Bouajjani – Julien d’Orso (auth.) – Matthias Baaz – Johann A. Makowsky (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 596
حجم کتاب: 5 مگابایت
کد کتاب: 3540408010 , 9783540408017
نوبت چاپ: 1
توضیحات کتاب منطق علوم کامپیوتر: هفدهمین کارگاه بین المللی CSL 2003، دوازدهمین کنفرانس سالانه EACSL، 8th Kurt Gödel Colloquium، KGC 2003، وین، اتریش، 25-30 اوت، 2003. مجموعه مقالات
این کتاب مجموعه مقالات داوری مشترک هفدهمین کارگاه بین المللی منطق علوم کامپیوتر، CSL 2003 است که به عنوان دوازدهمین کنفرانس سالانه EACSL و هشتمین کنفرانس کورت گودل برگزار شد، KGC 2003 در وین، اتریش، در آگوست 2003.
30 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 9 سخنرانی دعوت شده به دقت بررسی و از مجموع 112 ارسالی انتخاب شدند. همه جنبه های فعلی منطق علوم کامپیوتر از منطق ریاضی و مبانی منطقی گرفته تا کاربرد منطق در جنبه های مختلف محاسباتی مورد توجه قرار گرفته است.
This book constitutes the joint refereed proceedings of the 17th International Workshop on Computer Science Logic, CSL 2003, held as the 12th Annual Conference of the EACSL and of the 8th Kurt Gödel Colloquium, KGC 2003 in Vienna, Austria, in August 2003.
The 30 revised full papers presented together with abstracts of 9 invited presentations were carefully reviewed and selected from a total of 112 submissions. All current aspects of computer science logic are addressed ranging from mathematical logic and logical foundations to the application of logics in various computing aspects.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.