خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

کسر خودکار - Cade 27: 27 کنفرانس بین المللی کسر خودکار ، ناتال ، برزیل ، 27-30 اوت 2019 ، مجموعه مقالات

Automated Deduction – CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings

نویسنده: Pascal Fontaine

ناشر: Springer International Publishing

سال انتشار: 2019

تعداد صفحات: XXIII, 582 [603]

زبان: English

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

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