ترجمه فارسی توضیحات (ترجمه ماشینی)
جبر، منطق و بازنویسی اصطلاحات مرتبه بالاتر: دومین کارگاه بین المللی، HOA ’95 پادربورن، آلمان، 21 تا 22 سپتامبر 1995 مقالات منتخب
این کتاب مجموعهای از مقالات داوری اصلاحشده را ارائه میکند که از ارائههای پذیرفتهشده برای دومین کارگاه بینالمللی جبر، منطق و بازنویسی اصطلاحات، HOA ’95، در پادربورن، آلمان، در سپتامبر 1995 برگزار شد.
14 مقاله تحقیقاتی شامل، همراه با مقاله دعوت شده توسط یان ویلم کلوپ، نتایج پیشرفته را گزارش می کند. جنبههای نظری مربوطه مورد بررسی قرار میگیرد، و علاوه بر این، سیستمهای اثبات موجود و سیستمهای بازنویسی اصطلاح مورد بحث قرار میگیرند.
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA ’95, held in Paderborn, Germany, in September 1995.
The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.
نقد و بررسیها
هیچ دیدگاهی برای این محصول نوشته نشده است.