دانلود کتاب Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings
| عنوان فارسی | منطق کامپیوتر علم: 14th InternationalWorkshop، CSL 2000 کنفرانس سالانه EACSL Fischbachau، آلمان، 26-28 اوت 2000 مقالات |
|---|---|
| عنوان اصلی | Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21 – 26, 2000 Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Andreas Blass, Yuri Gurevich (auth.), Peter G. Clote, Helmut Schwichtenberg (eds.) |
| ISBN | 9783540678953, 3540678956 |
| سال نشر | 2000 |
| زبان | English |
| تعداد صفحات | 556 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد