کامپیوترها

منطق علوم کامپیوتر: چهاردهمین کارگاه بین المللی، کنفرانس سالانه CSL 2000 EACSL Fischbachau، آلمان، 21 تا 26 اوت، 2000 مجموعه مقالات

Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings

دانلود کتاب Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings (به فارسی: منطق علوم کامپیوتر: چهاردهمین کارگاه بین المللی، کنفرانس سالانه CSL 2000 EACSL Fischbachau، آلمان، 21 تا 26 اوت، 2000 مجموعه مقالات) نوشته شده توسط «Andreas Blass – Yuri Gurevich (auth.) – Peter G. Clote – Helmut Schwichtenberg (eds.)»

اطلاعات کتاب منطق علوم کامپیوتر: چهاردهمین کارگاه بین المللی، کنفرانس سالانه CSL 2000 EACSL Fischbachau، آلمان، 21 تا 26 اوت، 2000 مجموعه مقالات

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Andreas Blass – Yuri Gurevich (auth.) – Peter G. Clote – Helmut Schwichtenberg (eds.)

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2000

تعداد صفحه: 550

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

کد کتاب: 3540678956 , 9783540678953

نوبت چاپ: 1

توضیحات کتاب منطق علوم کامپیوتر: چهاردهمین کارگاه بین المللی، کنفرانس سالانه CSL 2000 EACSL Fischbachau، آلمان، 21 تا 26 اوت، 2000 مجموعه مقالات

این کتاب مجموعه مقالات داوری سیزدهمین کارگاه بین المللی منطق علوم کامپیوتر، CSL 2000، برگزار شده در Fischbachau، آلمان به عنوان هشتمین کنفرانس سالانه EACSL در آگوست 2000 است. 28 مقاله کامل اصلاح شده ارائه شده همراه با هشت مقاله دعوت شده با دقت بررسی شدند. و توسط کمیته برنامه انتخاب شد. از جمله موضوعات تحت پوشش می توان به استنتاج خودکار، اثبات قضیه، منطق طبقه بندی، بازنویسی اصطلاح، نظریه مدل محدود، منطق مرتبه بالاتر، لامبدا و محاسبات ترکیبی، پیچیدگی محاسباتی، برنامه ریزی منطقی، محدودیت ها، منطق خطی، منطق مدال، منطق زمانی، بررسی مدل، مشخصات رسمی، تأیید رسمی، تغییر برنامه و غیره

This book constitutes the refereed proceedings of the 13th International Workshop on Computer Science Logic, CSL 2000, held in Fischbachau, Germany as the 8th Annual Conference of the EACSL in August 2000. The 28 revised full papers presented together with eight invited papers were carefully reviewed and selected by the program committee. Among the topics covered are automated deduction, theorem proving, categorical logic, term rewriting, finite model theory, higher order logic, lambda and combinatory calculi, computational complexity, logic programing, constraints, linear logic, modal logic, temporal logic, model checking, formal specification, formal verification, program transformation, etc.

دانلود کتاب «منطق علوم کامپیوتر: چهاردهمین کارگاه بین المللی، کنفرانس سالانه CSL 2000 EACSL Fischbachau، آلمان، 21 تا 26 اوت، 2000 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان