Showing 1 - 4 results of 4 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 Allan Bundy /
    by Kohlhase, Michael
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers /
    Published 2006
    Other Authors: “…Kohlhase, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    KI 2006: Advances in Artificial Intelligence 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006. Proceedings /
    Published 2007
    Other Authors: “…Kohlhase, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
    Published 2016
    Other Authors: “…Kohlhase, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search