خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

کاهش خودکار - CADE-22: 22nd International Conference on Automation Decoution، Montreal، Canada، 2-7 اوت 2009. پرونده ها

Automated Deduction – CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

نویسنده: Martin Rinard (auth.), Renate A. Schmidt (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

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

زبان: English

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

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