دانلود کتاب Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique
| عنوان فارسی | منطق محاسبات: مقدمه ای بر کسر خودکار: دوره ها و تمرین ها، مدرک علوم کامپیوتر |
|---|---|
| عنوان اصلی | Logique pour l'informatique : introduction à la déduction automatique : Cours et exercices, Licence d'informatique |
| ناشر | Vuibert |
| نویسنده | Serenella Cerrito |
| ISBN | 2711720691, 9782711720699 |
| سال نشر | 2008 |
| زبان | French |
| تعداد صفحات | 194 |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 1 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد