Opening book details…
Can I read Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383) on EtoBox?
Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383) by England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf is a computer science book available to read on EtoBox.
What is Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383) about?
This book constitutes the refereed proceedings of the 10th International Conference on Intelligent Computer Mathematics, CICM 2017, held in Edinburgh, Scotland, in July 2017. The 22 full papers and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 40 submissions. The papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning; the Digital Mathematics Libraries track dealing with m
Who reads Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science Book 10383)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
- Publisher
- Springer International Publishing : Imprint: Springer
- Published
- 2017
- Language
- EN
- ISBN
- 9783319620756
- Category
- computer science
- Subjects
- Engineering, Mathematics, Science
- Updated
- 2026-03-25
Other editions & translations
- Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (2018)
- Intelligent Computer Mathematics: 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings (Lecture Notes in Computer Science, 103 (2017)
More by England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Browse all works by England, Matthew; Geuvers, Herman; Hasan, Osman; Rabe, Florian; Teschke, Olaf
Similar books
- Intelligent Computer Mathematics [recurso electrónico] International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings — Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, and Josef Urban (2014)
- Algorithms and Complexity: 10th International Conference, CIAC 2017, Athens, Greece, May 24-26, 2017, Proceedings (Lecture Notes in Computer Science, 10236) — Dimitris Fotakis, Aris Pagourtzis, Vangelis Th. Paschos (2017)
- Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116) — Roland Backhouse (auth.), Charles Rattray, Savitri Maharaj, Carron Shankland (2004)
- Mathematics of Surfaces: 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings (Lecture Notes in Computer Science) — Xu-Ping Zhu, Shi-Min Hu, Ralph Martin (auth.), Michael J. Wilson, Ralph R. (2003)
- Artificial Immune Systems: 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings (Lecture Notes in Computer Science, 6825) — Soumya Banerjee, Drew Levin, Melanie Moses, Frederick Koster, Stephanie Forrest (auth.), Pietro Liò, Giuseppe Nicosia, Thomas Stibor (2011)
- Computer Aided Verification: 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings (Lecture Notes in Computer Science, 6174) — David Basin, Felix Klaedtke, Samuel Müller (auth.), Tayssir Touili, Byron Cook, Paul Jackson (2010)