کتاب الکترونیکی

برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی ALP ’97 — HOA ’97 ساوتهمپتون، انگلستان، 3 تا 5 سپتامبر 1997 مجموعه مقالات

Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings

دانلود کتاب 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.

دانلود کتاب «برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی ALP ’97 — HOA ’97 ساوتهمپتون، انگلستان، 3 تا 5 سپتامبر 1997 مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.