Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Author Michael Kohlhase

7 products
Binding
5
1
1
Price
Availability
1
4
1
1
Date of issue
?
KI 2006 Christian Freksa / Paperback
common.buy 51.75 €
OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Michael Kohlhase / Paperback
common.buy 51.75 €
Robust Argumentation Machines Philipp Cimiano / Paperback
common.buy 133.99 €
Symbolic Computation and Automated Reasoning Manfred Kerber / Adobe ePub DRM
common.buy 78.38 €
Intelligent Computer Mathematics Michael Kohlhase / Paperback
common.buy 43.44 €
Mathematical Knowledge Management Michael Kohlhase / Paperback
common.buy 58.53 €
Symbolic Computation and Automated Reasoning Manfred Kerber / Hardback
common.buy 132.77 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?