دانلود کتاب Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi
| عنوان فارسی | دنباله ها و درختان: مقدمه ای بر نظریه و کاربردهای محاسبات متوالی گزاره ای |
|---|---|
| عنوان اصلی | Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi |
| ناشر | Springer International Publishing |
| نویسنده | Andrzej Indrzejczak |
| ISBN | 9783030571450 |
| سال نشر | 2021 |
| زبان | English |
| تعداد صفحات | 0 |
| فرمت کتاب | epub - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 16 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد