دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning
49,000 تومان
منطق برای برنامه نویسی، هوش مصنوعی و استدلال
| موضوع اصلی | برنامه نویسی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 529 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3642175104,9783642175107 |
| نوبت چاپ | نسخه اول. |
| نویسنده | Andrei Voronkov, Edmund M. Clarke |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2011 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
منطق برای برنامه نویسی، هوش مصنوعی و استدلال
این کتاب مجموعه مقالات پس از کنفرانس با داوری کامل شانزدهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR 2010 است که در داکار، سنگال، در آوریل/مه 2010 برگزار شد. 27 مقاله کامل اصلاح شده و 9 مقاله مقالات کوتاه اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت شده به دقت بازبینی و از بین 47 مورد ارسالی انتخاب شدند. این مقالات به تمام مسائل جاری در استدلال خودکار، منطق محاسباتی، زبان های برنامه نویسی می پردازند و به برنامه نویسی منطقی، دستکاری برنامه های مبتنی بر منطق، روش های رسمی و انواع مختلف منطق های هوش مصنوعی می پردازند. موضوعات تحت پوشش از جنبه های نظری تا کاربردهای مختلف مانند خودکار، حساب خطی، تأیید، نمایش دانش، نظریه اثبات، محدودیت های کمی، و همچنین منطق های مودال و زمانی را شامل می شود.
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which took place in Dakar, Senegal, in April/May 2010. The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.