دانلود کتاب Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings
دانلود کتاب 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 |
دانلود کتاب 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-Verlag Berlin Heidelberg |
| تعداد صفحه | 410 |
| حجم فایل | 4 مگابایت |
| کد کتاب | 3540730834,9783540730835,9783540730866 |
| نوبت چاپ | 1 |