CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 5 of 5 Results
1.
Mathematical Knowledge Management 4th International Conference, Mkm 2005, Bremen, Germany, J...
Mathematical Knowledge Management 4th International Conference, Mkm 2005, Bremen, Germany, J... by Kohlhase, Michael ISBN: 9783540314301 List Price: $78.00
$52.33 (Save 32%)
2.
Omdoc - an Open Markup Format for Mathematical Documents [Version 1.2]
Omdoc - an Open Markup Format for Mathematical Documents [Version 1.2] by Kohlhase, Michael, Bundy, Alan ISBN: 9783540378976 List Price: $89.95
$51.31 (Save 42%)
3.
Symbolic Computation and Automated Reasoning The Calculemus-2000 Symposium
Symbolic Computation and Automated Reasoning The Calculemus-2000 Symposium by Kerber, Manfred, Kohlhase, ... ISBN: 9781568811451 List Price: $60.00

OUT OF STOCK

See Availability on Amazon
4.
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland...
Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland... by Kohlhase, Michael, Johansso... ISBN: 9783319425467 List Price: $60.00

OUT OF STOCK

See Availability on Amazon
5.
Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germa...
Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germa... by Cimiano, Philipp, Frank, An... ISBN: 9783031635359 List Price: $139.99
$128.31 (Save 8%)