خرید و دانلود نسخه کامل کتاب Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
قیمت اصلی 175,000 تومان بود.100,000 تومانقیمت فعلی 100,000 تومان است.
تعداد فروش: 68
| عنوان فارسی |
قضیه اثبات در منطق مرتبه بالاتر: هفدهمین کنفرانس بین المللی ، TPHOLS 2004 ، پارک سیتی ، یوتا ، ایالات متحده ، 14-17 سپتامبر 2004 ، مجموعه مقالات |
|---|---|
| عنوان اصلی | Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings |
| ناشر | Springer |
| نویسنده | Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan |
| ISBN | 3540230173, 9783540301424 |
| سال نشر | 2004 |
| زبان | English |
| تعداد صفحات | 349 |
| دسته | کنفرانس ها و همایش های بین المللی |
| فرمت کتاب | PDF – قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم.
توضیحاتی در مورد کتاب
این کتاب مجموعه مقالات داوری هفدهمین کنفرانس بین المللی اثبات قضیه در منطق های مرتبه بالاتر، TPHOLs 2004 است که در شهر پارک سیتی، یوتا، ایالات متحده آمریکا در سپتامبر 2004 برگزار شد.
21 مقاله کامل اصلاح شده ارائه شده است. به همراه 2 مقاله دعوت شده به دقت بررسی و از بین 42 مقاله ارسالی انتخاب شدند. از جمله موضوعات مطرح شده عبارتند از: اثبات قضیه، تأیید، انواع استقرایی، استنتاج خودکار، اثبات مکانیزه، منطق ریاضی، نظریه اثبات، سیستمهای نوع، محاسبهپذیری، تأیید برنامه، ACL، Cop، Isabelle/HOL، توابع بازگشتی، نظریه ادغام، ایمنی کد ماشین. صدور گواهینامه و انتزاع
نقد و بررسیها
هنوز بررسیای ثبت نشده است.