دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
دانلود کتاب منطق علوم کامپیوتر: نهمین کارگاه بین المللی، کنفرانس سالانه CSL '95 EACSL Paderborn، آلمان، 22 تا 29 سپتامبر 1995 مقالات برگزیده
مشخصات کتاب
Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
ویرایش: [1 ed.] نویسندگان: Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.) سری: Lecture Notes in Computer Science 1092 ISBN (شابک) : 3540613773, 9783540613770 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 492 [494] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 50,000
در صورت تبدیل فایل کتاب Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق علوم کامپیوتر: نهمین کارگاه بین المللی، کنفرانس سالانه CSL '95 EACSL Paderborn، آلمان، 22 تا 29 سپتامبر 1995 مقالات برگزیده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق علوم کامپیوتر: نهمین کارگاه بین المللی، کنفرانس سالانه CSL '95 EACSL Paderborn، آلمان، 22 تا 29 سپتامبر 1995 مقالات برگزیده
این کتاب شامل منتخبی از مقالات با داوری دقیق است که در
کنفرانس سالانه انجمن اروپایی منطق علوم کامپیوتر، CSL '95 در
سال 1995، در پادربورن، آلمان، در سپتامبر 1995 برگزار
شد.
27 مقاله کامل اصلاح شده شامل پس از دو دور بررسی از مجموع 74
مقاله ارسالی برای ارائه در کنفرانس انتخاب شدند و به ارائه
آخرین هنر در این منطقه پرداختند. از جمله موضوعاتی که به آنها
پرداخته می‌شود، منطق‌های زمانی، سیستم‌های بازنویسی، استنتاج،
اثبات قضیه، جبر فرآیندی، منطق‌های خطی، نظریه اثبات، زبان‌های
رسمی و موارد دیگر هستند.
توضیحاتی درمورد کتاب به خارجی
This book contains a carefully refereed selection of papers
presented at the 1995 Annual Conference of the European
Association for Computer Science Logic, CSL '95, held in
Paderborn, Germany, in September 1995.
The 27 revised full papers included were selected after two
rounds of reviewing from a total of 74 submissions for
presentation at the conference and present the
state-of-the-art in the area. Among the topics addressed are
temporal logics, rewriting systems, deduction, theorem
proving, process algebra, linear logics, proof theory, formal
languages, and others.
