Gå direkt till innehållet
Intelligent Computer Mathematics
Spara

Intelligent Computer Mathematics

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;
Undertitel
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Upplaga
1st ed. 2017
ISBN
9783319620749
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
29.6.2017
Sidor
375