نمایش سایدبار
نمایش 12 24 36 همه
DJVU

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

49,000 تومان
مکانیزاسیون ریاضیات: اثبات قضیه هندسه مکانیکی
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 427
حجم فایل 4 مگابایت
کد کتاب 079235835X,9780792358350
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

49,000 تومان
مکانیزاسیون ریاضی: اثبات قضیه هندسه مکانیکی، حل مسئله هندسه مکانیکی و حل معادلات چند جمله ای
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 427
حجم فایل 17 مگابایت
کد کتاب 9780792358350,079235835X
نوبت چاپ 1
افزودن به سبد خرید
DJVU

دانلود کتاب Proceedings 1992 Int. Workshop on Mathematics Mechanization

49,000 تومان
مجموعه مقالات 1992 بین المللی. کارگاه مکانیزاسیون ریاضیات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
تعداد صفحه 291
حجم فایل 7 مگابایت
کد کتاب 7800031969
افزودن به سبد خرید
PDF

دانلود کتاب Proceedings 1992 Int. Workshop on Mathematics Mechanization

49,000 تومان
مجموعه مقالات 1992 بین المللی. کارگاه مکانیزاسیون ریاضیات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Beijing, China, Int.Acad. Publ.
تعداد صفحه 291
حجم فایل 23 مگابایت
افزودن به سبد خرید
DJVU

دانلود کتاب Proceedings 1992 Int. Workshop on Mathematics Mechanization

49,000 تومان
مجموعه مقالات 1992 بین المللی. کارگاه مکانیزاسیون ریاضیات
موضوع اصلی ریاضیات
نوع کالا کتاب الکترونیکی
ناشر Beijing, China, Int.Acad. Publ.
تعداد صفحه 291
حجم فایل 6 مگابایت
افزودن به سبد خرید
DJVU

دانلود کتاب Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

49,000 تومان
نوع هموتوپی منطقی: یک مطالعه سازنده از طریق تئوری I*-Measure
موضوع اصلی هندسه و توپولوژی
نوع کالا کتاب الکترونیکی
ناشر Springer
تعداد صفحه 232
حجم فایل 1 مگابایت
کد کتاب 9780387136110,0387136118
افزودن به سبد خرید