دانلود کتاب Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs’98 Canberra, Australia September 27–October 1, 1998 Proceedings (به فارسی: اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs’98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات) نوشته شده توسط «Tobias Nipkow (auth.) – Jim Grundy – Malcolm Newey (eds.)»
اطلاعات کتاب اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs’98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات
موضوع اصلی: منطق
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Tobias Nipkow (auth.) – Jim Grundy – Malcolm Newey (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 496
حجم کتاب: 4 مگابایت
کد کتاب: 3540649875 , 9783540649878
نوبت چاپ: 1
توضیحات کتاب اثبات قضیه در منطق های مرتبه بالاتر: یازدهمین کنفرانس بین المللی، TPHOLs’98 کانبرا، استرالیا 27 سپتامبر تا 1 اکتبر 1998 مجموعه مقالات
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین‌المللی اثبات قضیه در منطق‌های مرتبه بالاتر، TPHOLs ’98 است که در کانبرا، استرالیا، در سپتامبر/اکتبر 1998 برگزار شد.
26 مقاله کامل اصلاح‌شده ارائه‌شده با دقت بررسی شدند. و از مجموع 52 مورد ارسالی انتخاب شد. همچنین شامل دو مقاله دعوت شده است. این مقالات به تمام جنبه های فعلی قضیه در منطق های مرتبه بالاتر و تأیید رسمی و تجزیه و تحلیل برنامه می پردازند. علاوه بر سیستم HOL، قضیه اثبات‌کننده‌های Coq، Isabelle، LAMBDA، LEGO، NuPrl و PVS مورد بحث قرار می‌گیرند.
This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs ’98, held in Canberra, Australia, in September/October 1998.
The 26 revised full papers presented were carefully reviewed and selected from a total of 52 submissions. Also included are two invited papers. The papers address all current aspects of theorem proving in higher order logics and formal verification and program analysis. Besides the HOL system, the theorem provers Coq, Isabelle, LAMBDA, LEGO, NuPrl, and PVS are discussed.
