دانلود کتاب Frontiers of Combining Systems: 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings
49,000 تومان
مرزهای سیستم های ترکیبی: ششمین سمپوزیوم بین المللی، FroCoS 2007 لیورپول، بریتانیا، 10-12 سپتامبر، 2007 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 286 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 354074620X,9783540746201 |
| نوبت چاپ | 1 |
| نویسنده | Amit Goel (auth.), Boris Konev, Frank Wolter (eds.), Sava Krstić |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2007 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
مرزهای سیستم های ترکیبی: ششمین سمپوزیوم بین المللی، FroCoS 2007 لیورپول، بریتانیا، 10-12 سپتامبر، 2007 مجموعه مقالات
این کتاب مقالات داوری ششمین سمپوزیوم بینالمللی مرزهای ترکیب سیستمها، FroCoS 2007، برگزار شده در لیورپول، انگلستان، سپتامبر 2007 را تشکیل میدهد.
14 مقاله کامل اصلاحشده ارائه شده با دقت بررسی و انتخاب شدند. . مقالات در بخش های موضوعی در مورد ترکیبی از منطق، نظریه ها، و روش های تصمیم سازماندهی شده است. حل محدودیت و برنامه نویسی؛ مسائل ترکیبی در بازنویسی و برنامه نویسی و همچنین در چارچوب های منطقی و سیستم های اثبات قضیه.
This book constitutes the refereed proceedings of the 6th International Symposium on Frontiers of Combining Systems, FroCoS 2007, held in Liverpool, UK, September 2007.
The 14 revised full papers presented were carefully reviewed and selected. The papers are organized in topical sections on combinations of logics, theories, and decision procedures; constraint solving and programming; combination issues in rewriting and programming as well as in logical frameworks and theorem proving systems.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.