Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Häftad, Engelska, 2017
Av Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
729 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.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 papers are organized in three tracks: the Calculemus track examining the integration of symbolic computation and mechanized reasoning;
Produktinformation
- Utgivningsdatum2017-06-29
- Mått155 x 235 x 22 mm
- Vikt598 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor375
- FörlagSpringer International Publishing AG
- ISBN9783319620749