دانلود کتاب Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2
| عنوان فارسی | محاسبه لامبدا با انواع. یک فصل از کتاب منطق در علوم کامپیوتر ، جلد 2 |
|---|---|
| عنوان اصلی | Lambda Calculi with Types. A chapter from. Handbook of logic in computer science, vol.2 |
| ناشر | OUP |
| نویسنده | Barendregt H.P.;edited by Abramsky S., Gabbay D.M., Maibaum T.S.E. |
| ISBN | |
| سال نشر | 1992 |
| زبان | English |
| تعداد صفحات | 193 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 864 کیلوبایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد