دانلود کتاب 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 |
| ناشر | Springer Nature Switzerland |
| نویسنده | Brigitte Pientka; Cesare Tinelli |
| ISBN | 9783031384998, 9783031384981 |
| سال نشر | |
| زبان | English |
| تعداد صفحات | 0 |
| فرمت کتاب | epub - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 55 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد