دانلود کتاب Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
به سمت دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب دیفرانسیل و انتگرال 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007: مجموعه مقالات
| موضوع اصلی | ریاضیات |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 418 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 9783540730835,3540730834 |
| نوبت چاپ | 1 |