دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
دانلود کتاب منطق علوم کامپیوتر: هفتمین کارگاه، CSL '93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب
مشخصات کتاب
Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers
ویرایش: [1 ed.] نویسندگان: Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.) سری: Lecture Notes in Computer Science 832 ISBN (شابک) : 3540582770, 9783540582779 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1994 تعداد صفحات: 336 [342] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 48,000
در صورت تبدیل فایل کتاب Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: هفتمین کارگاه، CSL '93 سوانسی، بریتانیا 13 تا 17 سپتامبر 1993 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق علوم کامپیوتر: هفتمین کارگاه، 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.
