دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic programming: proceedings of the 1997 international symposium
دانلود کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1997
مشخصات کتاب
Logic programming: proceedings of the 1997 international symposium
ویرایش:
نویسندگان: Małuszyński. Jan (eds.)
سری: Logic programming
ISBN (شابک) : 9780262631808, 0262631806
ناشر: MIT Press
سال نشر: 1997
تعداد صفحات: 447
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1997: برنامه نویسی منطقی -- کنگره ها، کنگره، برنامه نویسی Logische، برنامه نویسی منطقی
در صورت تبدیل فایل کتاب Logic programming: proceedings of the 1997 international symposium به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1997 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه ریزی منطقی: مجموعه مقالات سمپوزیوم بین المللی 1997
موضوعات کنفرانس 1997 دستاوردهای نظری و عملی جدید در برنامه نویسی منطقی، جهت گیری های تحقیقاتی جدید که در آن ایده های نشات گرفته از برنامه نویسی منطقی می توانند نقش اساسی داشته باشند، و روابط بین برنامه نویسی منطقی و سایر زمینه های علوم کامپیوتر است. سمپوزیوم سالانه بین المللی برنامه نویسی منطقی که به طور سنتی در آمریکای شمالی برگزار می شود، یکی از کنفرانس های بین المللی اصلی است که توسط انجمن برنامه نویسی منطقی حمایت می شود. موضوعات کنفرانس 1997 دستاوردهای نظری و عملی جدید در برنامه نویسی منطقی، جهت گیری های تحقیقاتی جدید که در آن ایده های نشات گرفته از برنامه نویسی منطقی می توانند نقش اساسی داشته باشند، و روابط بین برنامه نویسی منطقی و سایر زمینه های علوم کامپیوتر است. موضوعات شامل مبانی نظری، محدودیت ها، همزمانی و موازی، پایگاه داده های قیاسی، طراحی و پیاده سازی زبان، استدلال غیر یکنواخت، و برنامه نویسی منطقی و اینترنت است.
توضیحاتی درمورد کتاب به خارجی
The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and relations between logic programming and other fields of computer science. Topics include theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Lineare Algebra I [Lecture notes]
دانلود کتاب Issues in Atmospheric and Oceanic Modeling: Part A Climate Dynamics
دانلود کتاب Principles of Supply Chain Management: A Balanced Approach 5th Edition
