خرید و دانلود نسخه کامل کتاب Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

کسر خودکار - CADE-25: بیست و پنجمین کنفرانس بین المللی کسر خودکار، برلین، آلمان، 1-7 اوت 2015، مجموعه مقالات

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

نویسنده: Amy P. Felty, Aart Middeldorp (eds.)

ناشر: Springer International Publishing

سال انتشار: 2015

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

زبان: English

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

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