خرید و دانلود نسخه کامل کتاب Croissants vs. Bagels: Strategic, Effective, and Inclusive Networking at Conferences
قیمت اصلی 153,000 تومان بود.78,000 تومانقیمت فعلی 78,000 تومان است.
خرید و دانلود نسخه کامل کتاب The Charisma Myth: How Anyone Can Master the Art and Science of Personal Magnetism
قیمت اصلی 155,000 تومان بود.80,000 تومانقیمت فعلی 80,000 تومان است.
📥 ترافیک اینترنت مصرفی جهت دانلود فایلها در الی فایل، بهصورت نیمبها می باشد.
-59%
خرید و دانلود نسخه کامل کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 – 14, 1995. Proceedings: … 8th
قیمت اصلی 127,000 تومان بود.52,000 تومانقیمت فعلی 52,000 تومان است.
تعداد فروش: 43
| عنوان فارسی |
اثبات قضیه منطق مرتبه عالی و کاربردهای آن: هشتمین کارگاه بین المللی، آسپن گرو، UT، ایالات متحده آمریکا، 11 – 14 سپتامبر 1995. مجموعه مقالات: … هشتم |
|---|---|
| عنوان اصلی | Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 – 14, 1995. Proceedings: … 8th |
| ویرایش | 1 |
| ناشر | Springer |
| نویسنده | E. Thomas Schubert, Phillip J. Windley, James Alves-Foss |
| ISBN | 3540602755, 9783540602750 |
| سال نشر | 1995 |
| زبان | English |
| تعداد صفحات | 409 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
1
آیتم آخرین فروخته شده 55 دقیقه
4
افرادی که اکنون این محصول را تماشا می کنند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات هشتمین کنفرانس بینالمللی اثبات قضیه منطقی مرتبه عالی و کاربردهای آن است که در آسپن گرو، یوتا، ایالات متحده آمریکا در سپتامبر 1995 برگزار شد. 26 مقاله انتخاب شده توسط کمیته برنامه برای گنجاندن در این جلد، پیشرفتها در زمینه ای که از کنفرانس سلف به دست آمده است. مقالات ارائه شده به سه دسته کلی تقسیم می شوند: بازنمایی فرمالیسم ها در منطق مرتبه بالاتر. کاربردهای منطق مرتبه بالاتر مکانیزه؛ و پیشرفت های HOL و دیگر سیستم های اثبات قضیه.
نظرات (0)
نقد و بررسیها
هنوز بررسیای ثبت نشده است.