دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic programming: Proceedings of the 1994 Internationa Symposium
دانلود کتاب برنامه نویسی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1994
مشخصات کتاب
Logic programming: Proceedings of the 1994 Internationa Symposium
ویرایش:
نویسندگان: Maurice Bruynooghe (ed.)
سری:
ISBN (شابک) : 0262521911, 3540198067
ناشر: The MIT Press
سال نشر: 1994
تعداد صفحات: 715
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 8 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Logic programming: Proceedings of the 1994 Internationa Symposium به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1994 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1994
13 تا 17 نوامبر 1994، ایتاکا، نیویورک
سمپوزیوم بین المللی برنامه نویسی منطقی 1994 یکی از دو کنفرانس
بزرگ بین المللی است که توسط انجمن برنامه نویسی منطقی حمایت می
شود. . هر ساله در آمریکای شمالی برگزار می شود. پایان‌نامه‌های
آموزشی، سخنرانی‌های دعوت شده و مقالات داوری تمامی جنبه‌های
برنامه‌نویسی منطقی از جمله محدودیت‌ها، همزمانی و موازی‌سازی،
پایگاه‌های داده قیاسی، پیاده‌سازی و معماری، فرابرنامه‌نویسی و
برنامه‌نویسی مرتبه بالاتر، نظریه اثبات و تحلیل معنایی را پوشش
می‌دهند.
مجموعه برنامه نویسی منطقی، گزارش ها و یادداشت های پژوهشی
توضیحاتی درمورد کتاب به خارجی
November 13-17, 1994, Ithaca, New York
The 1994 International Logic Programming Symposium is one of
two major international conferences sponsored by the
Association of Logic Programming. It is held annually in North
America. Theses tutorials, invited lectures, and refereed
papers cover all aspects of logic programming including
constraints, concurrency and parallelism, deductive databases,
implementations and architectures, metaprogramming and
higher-order programming, proof theory, and semantic
analysis.
Logic Programming series, Research Reports and Notes
