ترجمه فارسی توضیحات (ترجمه ماشینی)
اثبات قضیه منطق مرتبه بالاتر و کاربردهای آن: ششمین کارگاه بین المللی، HUG ’93 ونکوور، B. C.، کانادا، 11 تا 13 آگوست 1993 مجموعه مقالات
این جلد مجموعه مقالات داوری کارگاه گروهی کاربران منطق بالاتر در سال 1993 است که در دانشگاه بریتیش کلمبیا در آگوست 1993 برگزار شد. این کارگاه توسط مرکز تحقیقات سیستم های کامپیوتری یکپارچه حمایت مالی شد. این ششمین کارگاه از سری کارگاه های بین المللی سالانه بود که به موضوع اثبات قضیه منطق مرتبه بالاتر، استفاده از آن در سیستم HOL و کاربردهای آن اختصاص داشت. این جلد شامل 40 مقاله است، از جمله مقاله دعوت شده توسط دیوید پارناس، دانشگاه مک مستر، کانادا، با عنوان “برخی قضایا که باید اثبات کنیم”.
This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User’s Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the sixth in the series of annual international workshops dedicated to the topic of Higher-Order Logic theorem proving, its usage in the HOL system, and its applications. The volume contains 40 papers, including an invited paper by David Parnas, McMaster University, Canada, entitled “Some theorems we should prove”.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.