خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

کسر خودکار - CADE-21: بیست و یکمین کنفرانس بین المللی کسر خودکار برمن ، آلمان ، 17-20 ژوئیه 2007

Automated Deduction – CADE-21: 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

نویسنده: Colin Stirling (auth.), Frank Pfenning (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

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

زبان: English

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

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