| search results |

displaying 3 results for author search for 'Michael Kohlhase'

Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Michael Kohlhase
Paperback / softback, 163 pages
ISBN-13: 9783319425467
12 Jul 2016
Readership Age:
computers / artificial intelligence Price: R 1 297.95
| on special |
normal price: R 1 441.95

This title will take longer to obtain, and should be delivered in 6-8 weeks

| read more |

| add to trolley |

OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy

Michael Kohlhase
Paperback / softback, 432 pages
ISBN-13: 9783540378976
17 Aug 2006
Readership Age:
computers / mathematical & statistical software Price: R 1 903.95
| on special |
normal price: R 2 114.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Michael Kohlhase
Paperback / softback, 408 pages
ISBN-13: 9783540314301
1 Feb 2006
Readership Age:
computers / general Price: R 1 903.95
| on special |
normal price: R 2 114.95