دانلود کتاب Algebraic and Logic Programming: 6th International Joint Conference ALP ’97 — HOA ’97 Southampton, UK, September 3–5, 1997 Proceedings (به فارسی: برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی ALP ’97 — HOA ’97 ساوتهمپتون، انگلستان، 3 تا 5 سپتامبر 1997 مجموعه مقالات) نوشته شده توسط «M. Alpuente – M. Falaschi – G. Moreno – G. Vidal (auth.) – Michael Hanus – Jan Heering – Karl Meinke (eds.)»
اطلاعات کتاب برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی ALP ’97 — HOA ’97 ساوتهمپتون، انگلستان، 3 تا 5 سپتامبر 1997 مجموعه مقالات
موضوع اصلی: جبر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: M. Alpuente – M. Falaschi – G. Moreno – G. Vidal (auth.) – Michael Hanus – Jan Heering – Karl Meinke (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 297
حجم کتاب: 3 مگابایت
کد کتاب: 3540634592 , 9783540634591
نوبت چاپ: 1
توضیحات کتاب برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی ALP ’97 — HOA ’97 ساوتهمپتون، انگلستان، 3 تا 5 سپتامبر 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری ششمین کنفرانس بین‌المللی برنامه‌نویسی جبری و منطقی، ALP 97 و سومین کارگاه بین‌المللی جبر، منطق و بازنویسی اصطلاحات عالی، HOA 97 است که به طور مشترک در ساوتهمپتون، انگلستان برگزار شد. در سپتامبر 1997.
18 مقاله کامل اصلاح شده ارائه شده در کتاب از بین 31 مقاله ارسالی انتخاب شدند. این جلد به بخش‌هایی در برنامه‌نویسی تابعی و منطقی، روش‌های مرتبه بالاتر، بازنویسی عبارت، انواع، حساب لامبدا و روش‌های اثبات قضیه تقسیم شده است.
This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP ’97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA ’97, held jointly in Southampton, UK, in September 1997.
The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.