Olaf Teschke – författare
Visar alla böcker från författaren Olaf Teschke. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 10383 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
Häftad, Engelska, 2017
556 kr
Skickas inom 10-15 vardagar
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;
Häftad, Engelska, 2011
540 kr
Skickas inom 10-15 vardagar
Many prominent mathematicians have been involved in this service as reviewers or editors and have, like all mathematicians, left their footprints in ZBMATH, in a long list of entries describing all of their research publications in mathematics.