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

مجموعه مقالات 1992 بین المللی کارگاه مکانیزاسیون ریاضیات

زبان : English

نویسندگان : Wu Wen-Tsun, Cheng Min-De. (eds.)

ناشر : Beijing, China, Int.Acad. Publ.

سال انتشار : 1992

ISBN (شابک) : 9780521854245, 0521854245

ویرایش : [1 ed.]

سری : Frontiers in Mathematics

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

حجم : 6 مگابایت

فرمت کتاب : djvu

قیمت : 36000 تومان