خرید و دانلود نسخه کامل کتاب 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: دادرسی

Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings

نویسنده: Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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