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

منطق علوم کامپیوتر: 21 کارگاه بین المللی، CSL 2007، شانزدهمین کنفرانس سالانه EACSL، لوزان، سوئیس، 11-15 سپتامبر 2007، مجموعه مقالات

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings

دانلود کتاب Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (به فارسی: منطق علوم کامپیوتر: 21 کارگاه بین المللی، CSL 2007، شانزدهمین کنفرانس سالانه EACSL، لوزان، سوئیس، 11-15 سپتامبر 2007، مجموعه مقالات) نوشته شده توسط «Jacques Duparc – Thomas A. Henzinger»

اطلاعات کتاب منطق علوم کامپیوتر: 21 کارگاه بین المللی، CSL 2007، شانزدهمین کنفرانس سالانه EACSL، لوزان، سوئیس، 11-15 سپتامبر 2007، مجموعه مقالات

موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی

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

ناشر: Springer

نویسنده: Jacques Duparc – Thomas A. Henzinger

زبان: English

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

سال انتشار: 2007

تعداد صفحه: 610

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

کد کتاب: 9783540749141 , 3540749144

نوبت چاپ: 1

توضیحات کتاب منطق علوم کامپیوتر: 21 کارگاه بین المللی، CSL 2007، شانزدهمین کنفرانس سالانه EACSL، لوزان، سوئیس، 11-15 سپتامبر 2007، مجموعه مقالات

36 مقاله کامل اصلاح شده ارائه شده همراه با چکیده 6 سخنرانی دعوت شده به دقت بررسی و از 116 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی در منطق و بازی ها، بیان، بازی ها و درختان، منطق و استنتاج، حساب لامبدا، نظریه مدل محدود، منطق خطی، نظریه اثبات و معناشناسی بازی سازماندهی شده اند.

The 36 revised full papers presented together with the abstracts of 6 invited lectures were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.

دانلود کتاب «منطق علوم کامپیوتر: 21 کارگاه بین المللی، CSL 2007، شانزدهمین کنفرانس سالانه EACSL، لوزان، سوئیس، 11-15 سپتامبر 2007، مجموعه مقالات»

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

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

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