mechanized
به سوی دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب 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 (به فارسی: به سوی دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007. مجموعه مقالات) نوشته شده توسط «Mirian Andrés – Laureano Lambán – Julio Rubio (auth.) – Manuel Kauers – Manfred Kerber – Robert Miner – Wolfgang Windsteiger (eds.)» اطلاعات کتاب به سوی دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007. مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی…
به سمت دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب دیفرانسیل و انتگرال 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 (به فارسی: به سمت دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب دیفرانسیل و انتگرال 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007: مجموعه مقالات) نوشته شده توسط «Manuel Kauers – Manfred Kerber – Robert Miner – Wolfgang Windsteiger» اطلاعات کتاب به سمت دستیاران مکانیزه ریاضی: چهاردهمین سمپوزیوم، حساب دیفرانسیل و انتگرال 2007، ششمین کنفرانس بین المللی، MKM 2007، هاگنبرگ، اتریش، 27-30 ژوئن 2007: مجموعه مقالات موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Manuel Kauers…