خرید و دانلود نسخه کامل کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
قیمت اصلی 141,000 تومان بود.66,000 تومانقیمت فعلی 66,000 تومان است.
تعداد فروش: 64
| عنوان فارسی |
منطق برای برنامه نویسی و استدلال خودکار: هفتمین کنفرانس بین المللی، LPAR 2000 Reunion Island، فرانسه، 6-10 نوامبر، 2000 مجموعه مقالات |
|---|---|
| عنوان اصلی | Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings |
| ویرایش | 1 |
| ناشر | Springer |
| نویسنده | Michel Parigot, Andrei Voronkov |
| ISBN | 3540412859, 9783540412854 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 498 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بینالمللی منطق برای برنامهنویسی و استدلال خودکار، LPAR 2000 است که در جزیره Reunion، فرانسه در نوامبر 2000 برگزار شد. ارسالی ها مقالات در بخشهای موضوعی در مورد استدلال غیر یکنواخت، پیچیدگی توصیفی، مشخصات و دستیارهای اثبات خودکار، اثبات قضیه، تأیید، برنامهنویسی منطقی و برنامهنویسی منطق محدودیت، منطقهای غیرکلاسیک و حساب لامبدا، منطق و پایگاههای داده، تجزیه و تحلیل برنامه، محاسبات mu-calculus سازماندهی شدهاند. ، برنامه ریزی و استدلال در مورد اقدامات.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.