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 93.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V113:
Lieferbar in ca. 20-45 Arbeitstagen
Produktdetails
Weitere Autoren: England, Matthew (Hrsg.) / Hasan, Osman (Hrsg.) / Rabe, Florian (Hrsg.) / Teschke, Olaf (Hrsg.)
- ISBN: 978-3-319-62074-9
- EAN: 9783319620749
- Produktnummer: 23165135
- Verlag: Springer Nature EN
- Sprache: Englisch
- Erscheinungsjahr: 2017
- Seitenangabe: 375 S.
- Masse: H23.5 cm x B15.5 cm 5'971 g
- Auflage: 1st ed. 2017
- Abbildungen: schwarz-weiss Illustrationen
- Reihenbandnummer: 10383
- Gewicht: 5971
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