خرید و دانلود نسخه کامل کتاب Computation, Proof, Machine: Mathematics Enters a New Age

محاسبات، اثبات، ماشین: ریاضیات وارد عصر جدیدی می شود

Computation, Proof, Machine: Mathematics Enters a New Age

نویسنده: Gilles Dowek

ناشر: Cambridge University Press

سال انتشار: 2015

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

زبان: English

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

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