خرید و دانلود نسخه کامل کتاب Proceedings 1992 Int. Workshop on Mathematics Mechanization

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

Proceedings 1992 Int. Workshop on Mathematics Mechanization

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

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

سال انتشار: 1992

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

زبان: English

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

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