خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

کسر خودکار - CADE-23: بیست و سومین کنفرانس بین المللی کسر خودکار ، وروتسواو ، لهستان ، 31 ژوئیه - 5 آگوست 2011. مجموعه مقالات

Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

نویسنده: Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2011

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

زبان: English

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

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