Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
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 math-aware technologies, standards, algorithms, and processes; the Mathematical Knowledge Management track being concerned with all aspects of managing…
Mehr
CHF 77.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
Versandkostenfrei
Produktdetails
Weitere Autoren: England, Matthew (Hrsg.) / Hasan, Osman (Hrsg.) / Rabe, Florian (Hrsg.) / Teschke, Olaf (Hrsg.)
- ISBN: 978-3-319-62075-6
- EAN: 9783319620756
- Produktnummer: 33311720
- Verlag: Springer-Verlag GmbH
- Sprache: Englisch
- Erscheinungsjahr: 2017
- Seitenangabe: 375 S.
- Plattform: PDF
- Masse: 50'573 KB
- Abbildungen: 81 schwarz-weiße Abbildungen, Bibliographie
- Reihenbandnummer: 10383
5 weitere Werke von Herman (Hrsg.) Geuvers:
Interactive Theorem Proving
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Ebook (PDF Format)
CHF 80.00
Types for Proofs and Programs
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Ebook (PDF Format)
CHF 106.50
Bewertungen
Anmelden