دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب ICLP : international conference on logic programming : proceedings, 12th, Tokyo, Japan, 13-18 June 1995
دانلود کتاب ICLP: کنفرانس بین المللی برنامه ریزی منطقی: مجموعه مقالات، 12th، توکیو، ژاپن، 13-18 ژوئن 1995
مشخصات کتاب
ICLP : international conference on logic programming : proceedings, 12th, Tokyo, Japan, 13-18 June 1995
ویرایش:
نویسندگان: Leon S. Sterling (eds.)
سری: ICLP : international conference on logic programming : proceedings 12
ISBN (شابک) : 0262691779, 2933566052
ناشر: MIT Press
سال نشر: 1995
تعداد صفحات: 857
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 9 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب ICLP : international conference on logic programming : proceedings, 12th, Tokyo, Japan, 13-18 June 1995 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ICLP: کنفرانس بین المللی برنامه ریزی منطقی: مجموعه مقالات، 12th، توکیو، ژاپن، 13-18 ژوئن 1995 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ICLP: کنفرانس بین المللی برنامه ریزی منطقی: مجموعه مقالات، 12th، توکیو، ژاپن، 13-18 ژوئن 1995
13-16 ژوئن 1995، توکیو، ژاپن ICLP، که توسط انجمن برنامه‌نویسی منطقی حمایت می‌شود، یکی از دو کنفرانس بین‌المللی سالانه مهم است که نتایج تحقیقات اخیر را در برنامه‌نویسی منطقی گزارش می‌کند. برنامه‌نویسی منطقی از این کشف سرچشمه می‌گیرد که به زیرمجموعه‌ای از منطق محمول می‌توان یک تفسیر رویه‌ای داد که برای اولین بار در زبان برنامه‌نویسی، Prolog تجسم یافت. ویژگی‌های منحصربه‌فرد برنامه‌نویسی منطقی آن را برای کاربردهای متعدد در هوش مصنوعی، طراحی و تأیید به کمک رایانه، پایگاه‌های داده و تحقیقات عملیاتی، و برای کاوش در محاسبات موازی و همزمان جذاب می‌کند. در دو دهه گذشته شاهد پیشرفت‌های اساسی در این زمینه از پایه‌گذاری تا اجرا، کاربردها و اکتشاف طرح‌های زبانی جدید بوده‌ایم. موضوعات تحت پوشش: مبانی نظری. منطق های مرتبه بالاتر استدلال غیر یکنواخت روش برنامه نویسی محیط های برنامه نویسی پسوندهای برنامه نویسی منطقی رضایت محدودیت. فرابرنامه نویسی طراحی و ساخت زبان پیاده سازی زبان های برنامه نویسی منطقی تکنیک های تالیف. معماری ها موازی سازی. استدلال در مورد برنامه ها پایگاه های داده قیاسی سری برنامه نویسی نرم افزارهای منطقی، گزارش های تحقیقاتی و یادداشت ها
توضیحاتی درمورد کتاب به خارجی
13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Solid earth geophysics 077-094 Mantle Convection and Plumes
دانلود کتاب A Touch of Jazz
دانلود کتاب Sacred Rights : the Case for Contraception and Abortion in World Religions
دانلود کتاب Medizin & Recht für Ärzte: Grundlagen — Fallbeispiele Medizinrechtliche Fragen
