دانلود کتاب Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings

به سمت دستیاران ریاضی مکانیزه: چهاردهمین سمپوزیوم ، Calculemus 2007 ، ششمین کنفرانس بین المللی ، MKM 2007 ، هاگنبرگ ، اتریش ، 27 تا 30 ژوئن 2007. مجموعه مقالات

زبان : English

نویسندگان : Mirian Andrés, Laureano Lambán, Julio Rubio (auth.), Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540730834, 9783540730835, 9783540730866

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4573 : Lecture Notes in Artificial Intelligence

تعداد صفحات : 410[417]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان