دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مجموعه مقالات
مشخصات کتاب
Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings
ویرایش: [1 ed.] نویسندگان: M. Alpuente, M. Falaschi, G. Moreno, G. Vidal (auth.), Michael Hanus, Jan Heering, Karl Meinke (eds.) سری: Lecture Notes in Computer Science 1298 ISBN (شابک) : 3540634592, 9783540634591 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 297 [294] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب Algebraic and Logic Programming: 6th International Joint Conference ALP '97 — HOA '97 Southampton, UK, September 3–5, 1997 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی ALP '97 — HOA '97 ساوتهمپتون، انگلستان، 3 تا 5 سپتامبر 1997 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی جبری و منطقی: ششمین کنفرانس مشترک بین المللی 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Audio power amplifier design handbook
دانلود کتاب UML 2 Pour les bases de donnees
دانلود کتاب MATLAB for Control Engineers
دانلود کتاب Update Culture and the Afterlife of Digital Writing
