دانلود کتاب 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، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب منطق برای برنامه نویسی، هوش مصنوعی و استدلال: بیستمین کنفرانس بین المللی، 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
نام کتاب : Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : منطق برای برنامه نویسی، هوش مصنوعی و استدلال: بیستمین کنفرانس بین المللی، LPAR-20 2015، Suva، فیجی، 24-28 نوامبر 2015، مجموعه مقالات
سری : Lecture Notes in Computer Science 9450
نویسندگان : Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2015
تعداد صفحات : 652
ISBN (شابک) : 9783662488980 , 9783662488997
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 22 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات بیستمین کنفرانس بین المللی منطق برای برنامه نویسی، هوش مصنوعی و استدلال، LPAR-20 است که در نوامبر 2015 در سووا، فیجی برگزار شد.
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.
پست ها تصادفی