خرید و دانلود نسخه کامل کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving

مکانیزه ریاضی: اثبات قضیه هندسه مکانیکی

Mathematics Mechanization: Mechanical Geometry Theorem proving

نویسنده: Wu Wen-tsun

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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