دانلود کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving

دانلود کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving

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

شماره سریال: ۹۷۸۰۷۹۲۳۵۸۳۵۰

ناشر: Springer

سال: ۲۰۰۱

نسخه ناشر (کیفیت اصلی)

purpleribbon save

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۴ مگابایت

تعداد صفحات

۴۲۷.۰

قیمت کتاب: ۶۳,۹۰۰ تومان

انتخاب فرمت فایل:

توضیحات

معرفی کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving

کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving نوشته Wu Wen-tsun یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving

این اثر با بهره‌گیری از تجربیات و دانش نویسنده، مطالب جامع و کاربردی را در اختیار خوانندگان قرار می‌دهد.

دانلود کتاب Mathematics Mechanization: Mechanical Geometry Theorem proving را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
Mathematical Physics image
Mathematical Physics
نویسنده:

Robert Carroll (Eds.)

سال انتشار:

۱۹۸۸

Differential manifolds image
Differential manifolds
نویسنده:

Antoni A. Kosinski

سال انتشار:

۱۹۹۳

Topology of manifolds:... image
Topology of manifolds: Proc. Univer. of Georgia
نویسنده:

James C. Cantrell,...

سال انتشار:

۱۹۷۰

مشاهده تمامی کتاب ها

نوشتن دیدگاه
دیدگاه های شما دیدگاهی وجود ندارد