خرید و دانلود نسخه کامل کتاب Croissants vs. Bagels: Strategic, Effective, and Inclusive Networking at Conferences قیمت اصلی 76,500 تومان بود.39,000 تومانقیمت فعلی 39,000 تومان است.
خرید و دانلود نسخه کامل کتاب The Charisma Myth: How Anyone Can Master the Art and Science of Personal Magnetism قیمت اصلی 77,500 تومان بود.40,000 تومانقیمت فعلی 40,000 تومان است.
فقط اینقدر👇 دیگه زمان داری با تخفیف بخریش
00روز
06ساعت
45دقیقه
26ثانیه
-59%
خرید و دانلود نسخه کامل کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 – 14, 1995. Proceedings: … 8th
قیمت اصلی 63,500 تومان بود.26,000 تومانقیمت فعلی 26,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 مگابایت |
2 آیتم فروخته شده در 55 دقیقه
4 نفر در حال مشاهده این محصول هستند!
توضیحات
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات هشتمین کنفرانس بینالمللی اثبات قضیه منطقی مرتبه عالی و کاربردهای آن است که در آسپن گرو، یوتا، ایالات متحده آمریکا در سپتامبر 1995 برگزار شد. 26 مقاله انتخاب شده توسط کمیته برنامه برای گنجاندن در این جلد، پیشرفتها در زمینه ای که از کنفرانس سلف به دست آمده است. مقالات ارائه شده به سه دسته کلی تقسیم می شوند: بازنمایی فرمالیسم ها در منطق مرتبه بالاتر. کاربردهای منطق مرتبه بالاتر مکانیزه؛ و پیشرفت های HOL و دیگر سیستم های اثبات قضیه.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.