Showing 1 - 3 results of 3 for search 'Kohlhase, Michael', query time: 0.02s Refine Results
  1. 1
    OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2] Foreword by Alan Bundy
    by Kohlhase, Michael
    Published in Springer e-books (2006)
    Get full text
    eBook
  2. 2
    Mathematical Knowledge Management (vol. # 3863) 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
    by Kohlhase, Michael
    Published in Springer e-books (2006)
    Get full text
    eBook
  3. 3
    KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings /
    by Freksa, Christian
    Published in Springer e-books (2007)
    Other Authors: “...Kohlhase, Michael...”
    Get full text
    eBook
Search Tools: Get RSS Feed