خرید و دانلود نسخه کامل کتاب Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

استدلال خودکار: ششمین کنفرانس بین المللی مشترک، IJCAR 2012، منچستر، بریتانیا، 26-29 ژوئن 2012. مجموعه مقالات

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

نویسنده: Nikolaj Bjørner (auth.), Bernhard Gramlich, Dale Miller, Uli Sattler (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

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

زبان: English

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

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