Autor: Michael Kohlhase

Apoio

7 Ebooks por Michael Kohlhase

Moa Johansson & Michael Kohlhase: Intelligent Computer Mathematics
This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016.The 10 full papers and 2 sho …
PDF
Inglês
DRM
€48.71
Michael Kohlhase: Mathematical Knowledge Management
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15-17, 2005 at – ternational University Bremen, Germany. Previous c …
PDF
Inglês
DRM
€57.77
Michael Kohlhase: OMDoc — An Open Markup Format for Mathematical Documents [version 1.2]
Computers arechanging the way wethink. Of course, nearly all desk-workers have access to computers and use them to email their colleagues, search the Web for information and prepare documents. But I’ …
PDF
Inglês
DRM
€57.46
Manfred Kerber & Michael Kohlhase: Symbolic Computation and Automated Reasoning
While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary …
PDF
Inglês
DRM
€64.44
Martin Atzmuller & Przemyslaw Biecek: Artificial Intelligence. ECAI 2023 International Workshops
This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in S …
EPUB
Inglês
DRM
€127.99
Martin Atzmuller & Przemyslaw Biecek: Artificial Intelligence. ECAI 2023 International Workshops
This volume constitutes the refereed proceedings presented at the international workshops of the 26th European Conference on Artificial Intelligence, ECAI 2023, which was held in Krakow, Poland, in S …
EPUB
Inglês
DRM
€127.99