خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

کسر خودکار – CADE-24: بیست و چهارمین کنفرانس بین المللی کسر خودکار، لیک پلاسید، نیویورک، ایالات متحده آمریکا، 9-14 ژوئن 2013. مجموعه مقالات

Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

نویسنده: Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2013

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

زبان: English

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

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