- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Kohlhase, Michael

Showing 1 - 7 of 7 results

Search Results

Cover image for OMDoc -- an open markup format for mathematical documents

OMDoc -- an open markup format for mathematical documents

by Kohlhase, Michael, 1964-
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.95 .K64 2006	✔ Available

Cover image for Mathematical knowledge management

Mathematical knowledge management

by MKM (Conference)
2006
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.95 .M56 2005	✔ Available

Cover image for Mathematical knowledge management

Mathematical knowledge management

by MKM 2005
2006
Format: Electronic

Location
Access Content Online

Cover image for KI 2006

KI 2006

by German Conference on Artificial Intelligence
2007
Format: Electronic

Location
Access Content Online

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

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

by Kohlhase, Michael
2016
Format: Electronic

Location
Access Content Online

Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

by Cimiano, Philipp
2024
1st ed. 2024
Format: Electronic

Location
Access Content Online

Cover image for OMDoc -- an open markup format for mathematical documents

OMDoc -- an open markup format for mathematical documents

by Kohlhase, Michael, 1964-
2006
Format: Electronic

Location
Access Content Online