دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
دانلود کتاب جبر، منطق و بازنویسی اصطلاحات مرتبه بالاتر: دومین کارگاه بین المللی، HOA '95 پادربورن، آلمان، 21 تا 22 سپتامبر 1995 مقالات منتخب
مشخصات کتاب
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers
ویرایش: [1 ed.] نویسندگان: Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.) سری: Lecture Notes in Computer Science 1074 ISBN (شابک) : 3540612548, 9783540612544 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 296 [294] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 39,000
در صورت تبدیل فایل کتاب Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جبر، منطق و بازنویسی اصطلاحات مرتبه بالاتر: دومین کارگاه بین المللی، HOA '95 پادربورن، آلمان، 21 تا 22 سپتامبر 1995 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جبر، منطق و بازنویسی اصطلاحات مرتبه بالاتر: دومین کارگاه بین المللی، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Osprey Men-at-Arms 042 - Kings German Legion
دانلود کتاب Innovation in Design, Communication and Engineering-Proceedings of the 8th Asian Conference on Innovation, Communication and Engineering (ACICE 2019), October 25-30, 2019, Zhengzhou, P.R. China
