خرید و دانلود نسخه کامل کتاب Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 – 14, 1995. Proceedings: … 8th

آنتونی رابینز میگه : من در 40 سالگی به جایی رسیدم که برای رسیدن بهش 82 سال زمان لازمه و این رو مدیون کتاب خواندن زیاد هستم. توضیحاتی در مورد کتاب این کتاب مجموعه مقالات هشتمین کنفرانس بین‌المللی اثبات قضیه منطقی مرتبه عالی و کاربردهای آن است که در آسپن گرو، یوتا، ایالات متحده آمریکا در سپتامبر 1995 برگزار شد. 26 مقاله انتخاب شده توسط کمیته برنامه برای گنجاندن در این جلد، پیشرفت‌ها در زمینه ای که از کنفرانس سلف به دست آمده است. مقالات ارائه شده به سه دسته کلی تقسیم می شوند: بازنمایی فرمالیسم ها در منطق مرتبه بالاتر. کاربردهای منطق مرتبه بالاتر مکانیزه؛ و پیشرفت های HOL و دیگر سیستم های اثبات قضیه.