اگه کتاب خاصی میخواید کلیک کنید >
خرید و دانلود نسخه کامل کتاب Principles and Practice of Semantic Web Reasoning: 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers
قیمت اصلی 137,000 تومان بود.62,000 تومانقیمت فعلی 62,000 تومان است.
خرید و دانلود نسخه کامل کتاب Spatial Information Theory: International Conference, COSIT 2005, Ellicottville, NY, USA, September 14-18, 2005. Proceedings
قیمت اصلی 137,000 تومان بود.62,000 تومانقیمت فعلی 62,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
20ساعت
43دقیقه
10ثانیه
-47%
خرید و دانلود نسخه کامل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
قیمت اصلی 159,000 تومان بود.84,000 تومانقیمت فعلی 84,000 تومان است.
تعداد فروش: 51
| عنوان فارسی |
منطق برنامه نویسی، هوش مصنوعی و استدلال: 9th Conference of International، LPAR 2002 Tbilisi، Georgia، October 14-18، 2002 مقالات |
|---|---|
| عنوان اصلی | Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | M. Alpuente, S. Escobar, B. Gramlich (auth.), Matthias Baaz, Andrei Voronkov (eds.) |
| ISBN | 3540000100, 9783540000105 |
| سال نشر | 2002 |
| زبان | English |
| تعداد صفحات | 475 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | pdf – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 5 مگابایت |
2
آیتم فروخته شده در 55 دقیقه
3
نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR 2002 است که در تفلیس، گرجستان در اکتبر 2002 برگزار شد.
30 مقاله کامل اصلاح شده ارائه شده با دقت بررسی شدند و انتخاب از 68 ارسالی از جمله موضوعات تحت پوشش می توان به برنامه نویسی محدودیت، مهندسی نرم افزار رسمی، تأیید رسمی، وضوح، یکسان سازی، برنامه ریزی اثبات، تقسیم عامل، نمودارهای تصمیم دودویی، اتصال، منطق خطی، اثبات قضیه ایزابل، کاهش هدایت شده و غیره اشاره کرد.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.