ریاضیات کامپیوتر هوشمند: یازدهمین کنفرانس بین المللی ، AISC 2012 ، نوزدهمین سمپوزیوم ، Calculemus 2012 ، پنجمین کارگاه بین المللی ، DML 2012 ، یازدهمین کنفرانس بین المللی ، MKM 2012 ، سیستم ها و پروژه ها ، به عنوان بخشی از CICM 2012 ، Bremen ، آلمان ، 8 تا 13 ژوئیه 2012.
Intelligent Computer Mathematics: 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings
نویسنده: Jesse Alama, Lionel Mamane, Josef Urban (auth.), Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2012
تعداد صفحات: 473 [488]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 10 مگابایت