دانلود کتاب Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings
by Manuel Kauers
|
عنوان فارسی: به سمت دستیاران ریاضی مکانیزه: سمپوزیوم 14، Calculemus 2007، کنفرانس بین المللی 6، MKM 2007، Hagenberg، اتریش، 27-30 ژوئن، 2007: مجموعه مقالات |