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

تعداد صفحات: 568 [582]

زبان: English

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

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