دانلود کتاب Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre
| عنوان فارسی | منطق و اثبات خودکار: مقدمه ای بر منطق گزاره ای و منطق مرتبه اول |
|---|---|
| عنوان اصلی | Logique et démonstration automatique : Une introduction à la logique propositionnelle et à la logique du premier ordre |
| ویرایش | draft |
| ناشر | |
| نویسنده | Stéphane Desvismes, Pascal Lafourcade, Michel Lévy |
| ISBN | 2729872299, 9782729872298 |
| سال نشر | 2012 |
| زبان | French |
| تعداد صفحات | 143 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 943 کیلوبایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد