خرید و دانلود نسخه کامل کتاب Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

استدلال خودکار: هشتمین کنفرانس بین المللی مشترک ، IJCAR 2016 ، کویمبرا ، پرتغال ، 27 ژوئن - 2 ژوئیه 2016 ، مجموعه مقالات

Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

نویسنده: Nicola Olivetti, Ashish Tiwari (eds.)

ناشر: Springer International Publishing

سال انتشار: 2016

تعداد صفحات: 581

زبان: English

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

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