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

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

Proceedings 1992 Int. Workshop on Mathematics Mechanization

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

ناشر: International Academic Publishers, Beijing, cop. 1992, cop. 1992

سال انتشار: 1992

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

زبان: English

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

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