مشخصات کتاب

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 

در صورت تبدیل فایل کتاب 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

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Realitäten des Glaubens: Zur virtuellen Dimension christlicher Religiosität (Praktische Theologie Im Wissenschaftsdiskurs Practical Theology in the Discourse of the Humanities)

دانلود کتاب An Introduction to Yoga

دانلود کتاب Ice Adhesion: Mechanism, Measurement, and Mitigation (Adhesion and Adhesives: Fundamental and Applied Aspects)

دانلود کتاب Oman (Bradt Travel Guides)

دانلود کتاب Windows XP: Visual Quickstart Guide