Deine Suchergebnisse für
Versuchen Sie es mit einer anderen Buchhandlung in Ihrer Nähe.
-
Symbolic Computation and Automated Reasoning
Symbolic Computation and Automated ReasoningeBook (PDF) + weitere
81,20 €
-
Robust Argumentation Machines
Band 14638 - 13%
Robust Argumentation MachinesBuch (Taschenbuch)
123,99 € UVP
142,99 €* -
Intelligent Computer Mathematics
Band 9791
Intelligent Computer MathematicsBuch (Taschenbuch) + weitere
43,99 €
-
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
![Produktbild: OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]](https://images.thalia.media/03/-/6539fcecfe804200b6290c99dc4d3e35/omdoc-an-open-markup-format-for-mathematical-documents-version-1-2-taschenbuch-michael-kohlhase-englisch.jpeg)
Michael Kohlhase
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]Buch (Taschenbuch)
51,99 €
-
KI 2006
Christian Freksa, Michael Kohlhase + weitere
KI 2006Buch (Taschenbuch)
51,99 €
-
Mathematical Knowledge Management
Band 3863Michael Kohlhase
Mathematical Knowledge ManagementBuch (Taschenbuch)
51,99 €
von 6 Treffern werden angezeigt