دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary
دانلود کتاب برنامه نویسی منطقی: مجموعه مقالات دهمین کنفرانس بین المللی برنامه نویسی منطقی 21-24 ژوئن 1993، بوداپست، مجارستان
مشخصات کتاب
Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary
ویرایش: 10th ed.
نویسندگان: David S. Warren
سری:
ISBN (شابک) : 0262731053, 9780262731058
ناشر: The MIT Press
سال نشر: 1993
تعداد صفحات: 878
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 10 مگابایت
قیمت کتاب (تومان) : 62,000
در صورت تبدیل فایل کتاب Logic Programming: Proceedings of the Tenth International Conference on Logic Programming June 21-24, 1993, Budapest, Hungary به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه نویسی منطقی: مجموعه مقالات دهمین کنفرانس بین المللی برنامه نویسی منطقی 21-24 ژوئن 1993، بوداپست، مجارستان نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب برنامه نویسی منطقی: مجموعه مقالات دهمین کنفرانس بین المللی برنامه نویسی منطقی 21-24 ژوئن 1993، بوداپست، مجارستان
دهمین کنفرانس بین المللی برنامه نویسی منطقی که توسط انجمن برنامه نویسی منطقی حمایت می شود، یک انجمن بزرگ برای ارائه تحقیقات، کاربردها و پیاده سازی ها در این حوزه مهم از علوم کامپیوتر است. برنامه نویسی منطقی یکی از امیدوارکننده ترین گام ها به سمت برنامه نویسی اعلانی است و پایه نظری زبان برنامه نویسی Prolog و پسوندهای مختلف آن را تشکیل می دهد. برنامه نویسی منطقی برای کار در هوش مصنوعی نیز اساسی است، جایی که برای استدلال غیر یکنواخت و عقل سلیم، پیاده سازی سیستم های خبره، پایگاه های داده قیاسی، و کاربردهایی مانند تولید به کمک رایانه استفاده شده است. دیوید اس. وارن، استاد علوم کامپیوتر در ایالت است. دانشگاه نیویورک، استونی بروک. موضوعات تحت پوشش: نظریه و مبانی. روش ها و ابزارهای برنامه نویسی برنامه نویسی متا و بالاتر موازی سازی. همزمانی. پایگاه های داده قیاسی پیاده سازی ها و معماری ها برنامه های کاربردی. هوش مصنوعی. محدودیت ها. کسر جزئی. ارزیابی از پایین به بالا. تکنیک های تالیف.
توضیحاتی درمورد کتاب به خارجی
The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Roma Antica. Tra mito e scoperta
دانلود کتاب Pro Spring 5: An In-Depth Guide to the Spring Framework and Its Tools
دانلود کتاب China in the Eyes of the Japanese
