کامپیوترها

منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات

Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

دانلود کتاب Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings (به فارسی: منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات) نوشته شده توسط «Petr Hájek (auth.) – Georg Gottlob – Etienne Grandjean – Katrin Seyr (eds.)»

اطلاعات کتاب منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات

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

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Petr Hájek (auth.) – Georg Gottlob – Etienne Grandjean – Katrin Seyr (eds.)

زبان: English

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

سال انتشار: 1999

تعداد صفحه: 442

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

کد کتاب: 3540659226 , 9783540659228

نوبت چاپ: 1

توضیحات کتاب منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات

این کتاب مجموعه مقالات پس از کارگاه آموزشی دوازدهمین کارگاه بین المللی منطق علوم کامپیوتر، CSL ’98 است که به عنوان کنفرانس سالانه انجمن اروپایی منطق علوم کامپیوتر در برنو، جمهوری چک در اوت 1998 برگزار شد.
25 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و طی دو دور بررسی و بازنگری انتخاب شدند. همچنین شامل سه مقاله دعوت شده بررسی شده است. این مقالات دامنه کل منطق علوم کامپیوتر و مبانی ریاضی را در بر می گیرد و نشان دهنده وضعیت هنر در منطقه است.

This book constitutes the strictly refereed post-workshop proceedings of the 12th International Workshop on Computer Science Logic, CSL ’98, held as the Annual Conference of the European Association on Computer Science Logic in Brno, Czech Republic in August 1998.
The 25 revised full papers presented were carefully reviewed and selected during two rounds of reviewing and revision. Also included are three reviewed invited papers. The papers span the whole scope of computer science logic and mathematical foundations and represent the state of the art in the area.

دانلود کتاب «منطق علوم کامپیوتر: دوازدهمین کارگاه بین المللی، CSL’98، کنفرانس سالانه EACSL، برنو، جمهوری چک، 24-28 اوت 1998. مجموعه مقالات»

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

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

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