ریاضیات کامپیوتر هوشمند: نهمین کنفرانس بین المللی، CICM 2016، بیالیستوک، لهستان، 25-29 ژوئیه، 2016، مجموعه مقالات
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
نویسنده: Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa (eds.)
ناشر: Springer International Publishing
سال انتشار: 2016
تعداد صفحات: XIV, 163 [169]
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 7 مگابایت