دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic programming: proceedings of the 6 international conference
دانلود کتاب برنامه ریزی منطقی: مقالات 6 کنفرانس بین المللی
مشخصات کتاب
Logic programming: proceedings of the 6 international conference
ویرایش:
نویسندگان: Giorgio Levi. Maurizio Martelli (ed.)
سری:
ISBN (شابک) : 0262620650, 6419890063
ناشر: The MIT Press
سال نشر: 1989
تعداد صفحات: 707
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Logic programming: proceedings of the 6 international conference به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی منطقی: مقالات 6 کنفرانس بین المللی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی منطقی: مقالات 6 کنفرانس بین المللی
این 39 مشارکت طیف گسترده ای از موضوعات را شامل می شود، از جمله
برنامه ها، معماری ها، پیچیدگی، زبان های همزمان، زبان های
محدودیت، پایگاه های داده قیاسی، زبان ها و برنامه های افزودنی
درجه بالاتر، مسائل زبان، ابزارها و روش های توسعه برنامه، روابط
با سایر مدل های محاسباتی، روابط با هوش مصنوعی، پیاده سازی های
متوالی و موازی، و نظریه و مبانی.
برنامه نویسی منطقی: مجموعه مقالات ششمین کنفرانس بین
المللی در مجموعه گزارش ها و یادداشت های پژوهشی برنامه ریزی
منطقی، ویرایش شده گنجانده شده است. توسط ایهود شاپیرو
توضیحاتی درمورد کتاب به خارجی
These 39 contributions cover a broad range of topics, including
applications, architectures, complexity, concurrent languages,
constraint languages, deductive databases, higher-order
languages and extensions, language issues, program development
tools and methodology, relations to other computational models,
relations with artificial intelligence, sequential and parallel
implementations, and theory and foundations.
Logic Programming: Proceedings of the Sixth International
Conference is included in the series Logic Programming
Research Reports and Notes, edited by Ehud Shapiro
