Michael Kohlhase
Susanne Albers, Michael E. Auer, Franz Baader, Friedrich L. Bauer, Peter Baumann (computer scientist)
978-613-7-25154-6
6137251543
56
2011-10-03
29.00 €
eng
https://images.our-assets.com/cover/230x230/9786137251546.jpg
https://images.our-assets.com/fullcover/230x230/9786137251546.jpg
https://images.our-assets.com/cover/2000x/9786137251546.jpg
https://images.our-assets.com/fullcover/2000x/9786137251546.jpg
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Dr. Michael Kohlhase (born September 13, 1964 in Erlangen) is a German computer scientist and professor at Jacobs University, Bremen, Germany, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content) at the School of Engineering and Science. Dr. Michael Kohlhase is president of the OpenMath Society and a trustee of the Interest Group for Mathematical Knowledge Management (MKM). He was a trustee of the Conference on Automated Deduction and the CALCULEMUS Interest Group.
https://www.morebooks.de/books/tr/published_by/duc/189866/products
Eğitim, Hobi, Kariyer
https://www.morebooks.de/store/tr/book/michael-kohlhase/isbn/978-613-7-25154-6