دانلود کتاب Computer Science Logic: 7th Workshop, CSL ’93 Swansea, United Kingdom September 13–17, 1993 Selected Papers (به فارسی: منطق علوم کامپیوتر: هفتمین کارگاه، CSL ’93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب) نوشته شده توسط «Alexander Aiken – Dexter Kozen – Moshe Vardi – Ed Wimmers (auth.) – Egon Börger – Yuri Gurevich – Karl Meinke (eds.)»
اطلاعات کتاب منطق علوم کامپیوتر: هفتمین کارگاه، CSL ’93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Alexander Aiken – Dexter Kozen – Moshe Vardi – Ed Wimmers (auth.) – Egon Börger – Yuri Gurevich – Karl Meinke (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1994
تعداد صفحه: 336
حجم کتاب: 3 مگابایت
کد کتاب: 3540582770 , 9783540582779
نوبت چاپ: 1
توضیحات کتاب منطق علوم کامپیوتر: هفتمین کارگاه، CSL ’93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب
این جلد شامل نسخه نهایی مجموعه مقالات ارائه شده در کنفرانس سالانه انجمن اروپایی منطق علوم کامپیوتر، CSL ’93، که در سوانسی، انگلستان در سپتامبر 1993 برگزار شد، می باشد.
21 مقاله کامل شامل از مجموع 62 مورد ارسالی انتخاب شده و اساساً به کل حوزه تحقیقات منطقی علوم رایانه کمک می کند. آنها به موضوعاتی مانند محدودیت‌های مجموعه، محاسبات لامبدا، جبرهای فرآیند، معناشناسی برنامه، منطق‌های شهودی، منطق نقطه ثابت، مسئله هم ارزی، بندهای شاخ، کمی‌کننده‌ها و دگرگونی‌های اثبات اختصاص داده شده‌اند.
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL ’93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.