اثبات های کامپیوتری در تجزیه و تحلیل
Computer Aided Proofs in Analysis
نویسنده: Oliver Aberth (auth.), Kenneth R. Meyer, Dieter S. Schmidt (eds.)
ناشر: Springer-Verlag New York
سال انتشار: 1991
تعداد صفحات: 263
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 8 مگابایت