دانلود کتاب A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11)
| عنوان فارسی | یک نظریه اثبات برای وحدت عمومی (پیشرفت در علوم کامپیوتر و منطق کاربردی، 11) |
|---|---|
| عنوان اصلی | A Proof Theory for General Unification (Progress in Computer Science and Applied Logic, 11) |
| ناشر | Birkhäuser |
| نویسنده | W. Snyder |
| ISBN | 9781461267584, 1461267587 |
| سال نشر | |
| زبان | English |
| تعداد صفحات | 181 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 14 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد
توضیحات
فهرست مطالب
اطلاعات قبل از خربد