دانلود کتاب Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers
| عنوان فارسی | منطق علوم کامپیوتر: نهمین کارگاه بین المللی، کنفرانس سالانه CSL '95 EACSL Paderborn، آلمان، 22 تا 29 سپتامبر 1995 مقالات برگزیده |
|---|---|
| عنوان اصلی | Computer Science Logic: 9th International Workshop, CSL '95 Annual Conference of the EACSL Paderborn, Germany, September 22–29, 1995 Selected Papers |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Matthias Baaz, Alexander Leitsch, Richard Zach (auth.), Hans Kleine Büning (eds.) |
| ISBN | 9783540613, 9783540685 |
| سال نشر | 1996 |
| زبان | English |
| تعداد صفحات | 492 [494] |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 12 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد