خرید و دانلود نسخه کامل کتاب 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

نویسنده: Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2015

تعداد صفحات: XV, 640 [652]

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 22 مگابایت