دانلود کتاب Selected papers on automath
| عنوان فارسی | مقالات منتخب در اتومات |
|---|---|
| عنوان اصلی | Selected papers on automath |
| ناشر | Elsevier |
| نویسنده | Nederpelt R.P., Geuvers J.H., de Vrijer R.C. (eds.) |
| ISBN | 9780444898227, 0444898220 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 1045 |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد