اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Software Configuration Management: ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14–15, 2001 and Portland, OR, USA, May 9–10, 2003. Selected Papers
قیمت اصلی 165,000 تومان بود.90,000 تومانقیمت فعلی 90,000 تومان است.
خرید و دانلود نسخه کامل کتاب International Symposium on Programming: 5th Colloquium Turin, April 6–8, 1982 Proceedings
قیمت اصلی 131,000 تومان بود.56,000 تومانقیمت فعلی 56,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
06ساعت
35دقیقه
38ثانیه
-44%
خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings
قیمت اصلی 169,000 تومان بود.94,000 تومانقیمت فعلی 94,000 تومان است.
تعداد فروش: 49
| عنوان فارسی |
کسر خودکار – CADE-21: بیست و یکمین کنفرانس بین المللی کسر خودکار برمن ، آلمان ، 17-20 ژوئیه 2007 |
|---|---|
| عنوان اصلی | Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Colin Stirling (auth.), Frank Pfenning (eds.) |
| ISBN | 3540735941, 9783540735946 |
| سال نشر | 2007 |
| زبان | English |
| تعداد صفحات | 532 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
1
آیتم فروخته شده در 55 دقیقه
4
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین المللی کسر خودکار، CADE-21، برگزار شده در برمن، آلمان، در ژوئیه 2007 است.
28 مقاله کامل اصلاح شده و 6 شرح سیستم ارائه شده بودند. به دقت بررسی و از 64 مورد ارسالی انتخاب شد. همه جنبههای فعلی استنتاج خودکار، از مسائل نظری و روششناختی گرفته تا ارائه و ارزیابی اثباتکنندههای قضیه و سیستمهای استدلال منطقی، مورد بررسی قرار میگیرند. مقالات در بخشهای موضوعی در منطق مرتبه بالاتر، منطق توصیف، منطق شهودی، نظریههای مدول رضایتپذیری، استقراء، بازنویسی، و چندشکلی، منطق مرتبه اول، بررسی و تأیید مدل، خاتمه، و همچنین تابلوها و مرتبه اول سازماندهی شدهاند. سیستم ها.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.