مشخصات کتاب

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 مگابایت 

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

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

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

دانلود کتاب Foreign Discrimination, Protection for Exporters, and U.S. Trade Liberalization

دانلود کتاب Comprehensive Electrocardiology, Second Edition (4-Volume Set)

دانلود کتاب Sono razzista ma sto cercando di smettere

دانلود کتاب Preparación al diploma español. DELE Nivel C1. Nueva edición

دانلود کتاب Making a Muslim: Reading Publics and Contesting Identities in Nineteenth-Century North India