دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
دانلود کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: بیستمین کنفرانس بین المللی، LPAR-20 2015، Suva، فیجی، 24-28 نوامبر 2015، مجموعه مقالات
مشخصات کتاب
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ویرایش: [1 ed.] نویسندگان: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.) سری: Lecture Notes in Computer Science 9450 ISBN (شابک) : 9783662488980, 9783662488997 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2015 تعداد صفحات: XV, 640 [652] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 22 Mb
قیمت کتاب (تومان) : 30,000
در صورت تبدیل فایل کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: بیستمین کنفرانس بین المللی، LPAR-20 2015، Suva، فیجی، 24-28 نوامبر 2015، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: بیستمین کنفرانس بین المللی، LPAR-20 2015، Suva، فیجی، 24-28 نوامبر 2015، مجموعه مقالات
این کتاب مجموعه مقالات بیستمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR-20 است که در نوامبر 2015 در سووا، فیجی برگزار شد.
</ p>
43 مقاله منظم ارائه شده همراه با 1 سخنرانی دعوت شده موجود در این جلد به دقت بررسی و از بین 92 مقاله ارسالی انتخاب شدند. مجموعه کنفرانس های بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR، انجمنی است که سال به سال برخی از مشهورترین محققان در زمینه های منطق، استدلال خودکار، منطق محاسباتی، زبان های برنامه نویسی و کاربردهای آنها در آن شرکت می کنند. برای ارائه نتایج پیشرفته، بحث در مورد پیشرفت‌ها در این زمینه‌ها و تبادل نظر در بخشی از جهان که از نظر علمی در حال ظهور است.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.
The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year, some of the most renowned researchers in the areas of logic, automated reasoning, computational logic, programming languages and their applications come to present cutting-edge results, to discuss advances in these fields, and to exchange ideas in a scientifically emerging part of the world.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Foliations 2005: Proceedings of the International Conference Lodz, Poland, 13 - 24 June 2005
دانلود کتاب Taschenbuch der Deutschen und der fremden Kriegsflotten II Jahrgang 1901
دانلود کتاب Ace Your Exercise and Nutrition Science Project
دانلود کتاب Stack, slash & sash quilting
