Olaf Teschke - Böcker
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
551 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;
80 Years of Zentralblatt MATH
80 Footprints of Distinguished Mathematicians in Zentralblatt
Häftad, Engelska, 2011
535 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.