Yazar
Michael Kohlhase
8 cilt bulundu.
Cilt sonuçları
![OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](https://covers.openlibrary.org/b/id/2222058-L.jpg)
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
Michael Kohlhase · Springer
428 sayfa · 2006
Mathematics / OMDoc (Document markup language) / Data processing / Information storage and retrieval systems / Informatique
Intelligent Computer Mathematics
Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa · Springer
177 sayfa · 2016
Artificial intelligence
Ki 2006
Christian Freksa, Michael Kohlhase, Kerstin Schill · Springer London, Limited
Sayfa sayısı yok · 2007
Kategori yok
Digitalisierung Von Zivilprozess und Rechtsdurchsetzung
Martin Zwickel, Axel Adrian, Stephanie Evert, Michael Kohlhase · Duncker & Humblot GmbH
Sayfa sayısı yok · 2022
Kategori yok
Robust Argumentation Machines
Philipp Cimiano, Anette Frank, Michael Kohlhase, Benno Stein · Springer
Sayfa sayısı yok · 2024
Kategori yok