خرید و دانلود نسخه کامل کتاب Interactive Theorem Proving

اثبات قضیه تعاملی

Interactive Theorem Proving

نویسنده: Jeremy Avigad, Assia Mahboubi

ناشر: Springer International Publishing

سال انتشار: 2018

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

زبان: English

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

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