خرید و دانلود نسخه کامل کتاب Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

استدلال خودکار: هفتمین کنفرانس مشترک بین المللی ، IJCAR 2014 ، به عنوان بخشی از Summer Vienna of Logic ، VSL 2014 ، وین ، اتریش ، 19 تا 22 ژوئیه 2014. مجموعه مقالات

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

نویسنده: Stéphane Demri, Deepak Kapur, Christoph Weidenbach (eds.)

ناشر: Springer International Publishing

سال انتشار: 2014

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

زبان: English

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

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