خرید و دانلود نسخه کامل کتاب Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

کسر خودکار -- CADE 26 : بیست و ششمین کنفرانس بین المللی کسر خودکار، گوتنبرگ، سوئد، 6 تا 11 اوت 2017، مجموعه مقالات

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

نویسنده: Moura, Leonardo de

ناشر: Springer

سال انتشار: 2017

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

زبان: English

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

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