دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité
دانلود کتاب اثبات ها و الگوریتم ها - مقدمه ای بر منطق و محاسبه پذیری
مشخصات کتاب
Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité
ویرایش:
نویسندگان: Gilles Dowek
سری:
ISBN (شابک) : 2730215697, 9782730215695
ناشر: Ecole Polytechnique
سال نشر: 2010
تعداد صفحات: 202
زبان: French
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 44,000
در صورت تبدیل فایل کتاب Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب اثبات ها و الگوریتم ها - مقدمه ای بر منطق و محاسبه پذیری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
