خرید و دانلود نسخه کامل کتاب Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

کسر خودکار - CADE 29: بیست و نهمین کنفرانس بین المللی کسر خودکار، رم، ایتالیا، 1 تا 4 ژوئیه، 2023، مجموعه مقالات

Automated Deduction – CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

نویسنده: Brigitte Pientka; Cesare Tinelli

ناشر: Springer Nature Switzerland

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

زبان: English

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

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