دانلود کتاب Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

Name: Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Availability: InStock
Author: Manfred Kerber
ISBN: 9783319206141, 9783319206158

by Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge (eds.)

عنوان فارسی: ریاضیات کامپیوتر هوشمند : کنفرانس بین المللی، CICM 2015 ، واشنگتن دی سی ، ایالات متحده آمریکا ، ژوئیه 13-17، 2015 ، مجموعه مقالات .
ناشر: Springer International Publishing
سال: 2015
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 359
شابک: 9783319206141, 9783319206158
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 23.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.