Intelligent Computer Mathematics Intelligent Computer Mathematics

Intelligent Computer Mathematics

9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Michael Kohlhase 및 다른 저자
    • US$34.99
    • US$34.99

출판사 설명

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.
The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

장르
컴퓨터 및 인터넷
출시일
2016년
7월 11일
언어
EN
영어
길이
177
페이지
출판사
Springer International Publishing
판매자
Springer Nature B.V.
크기
3.3
MB
Intelligent Computer Mathematics Intelligent Computer Mathematics
2015년
Intelligent Computer Mathematics Intelligent Computer Mathematics
2020년
Intelligent Computer Mathematics Intelligent Computer Mathematics
2019년
Intelligent Computer Mathematics Intelligent Computer Mathematics
2008년
Models, Mindsets, Meta: The What, the How, and the Why Not? Models, Mindsets, Meta: The What, the How, and the Why Not?
2019년
Mathematical Software – ICMS 2016 Mathematical Software – ICMS 2016
2016년
Symbolic Computation and Automated Reasoning Symbolic Computation and Automated Reasoning
2001년
Robust Argumentation Machines Robust Argumentation Machines
2024년
Artificial Intelligence. ECAI 2023 International Workshops Artificial Intelligence. ECAI 2023 International Workshops
2024년
Artificial Intelligence. ECAI 2023 International Workshops Artificial Intelligence. ECAI 2023 International Workshops
2024년
KI 2006: Advances in Artificial Intelligence KI 2006: Advances in Artificial Intelligence
2007년