خرید و دانلود نسخه کامل کتاب 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

ناشر: Ecole Polytechnique

سال انتشار: 2010

تعداد صفحات: 202

زبان: French

فرمت: djvu - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت