ترجمه فارسی توضیحات (ترجمه ماشینی)
اثبات قضیه منطق مرتبه بالاتر و کاربردهای آن: هفتمین کارگاه بین المللی والتا، مالت، 19 تا 22 سپتامبر 1994 مجموعه مقالات
این جلد مجموعه مقالات هفتمین کارگاه بین المللی اثبات قضیه منطقی مرتبه عالی و کاربردهای آن است که در والتا، مالت در سپتامبر 1994 برگزار شد.
علاوه بر 3 مقاله دعوت شده، مجموعه مقالات شامل 27 مقاله داوری است که از بین 42 مقاله ارسالی انتخاب شده اند. در مجموع، این کتاب نتایج جدید بسیاری را توسط محققان برجسته ای که بر روی طراحی و کاربردهای اثبات کننده قضیه برای منطق مرتبه بالاتر کار می کنند، ارائه می دهد. به طور خاص، این کتاب یک گزارش کامل و پیشرفته در مورد کاربردهای سیستم HOL، یکی از پرکاربردترین اثبات‌کننده‌های قضیه برای منطق مرتبه بالاتر، ارائه می‌دهد.
This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.
نقد و بررسی‌ها
هیچ دیدگاهی برای این محصول نوشته نشده است.