Professur für Wissensrepräsentation und -verarbeitung

MathWebSearch 0.5: Scaling an open formula search engine (2012) Kohlhase M, Matican B, Prodescu CC Conference contribution, Original article Extending MKM formats at the statement level (2012) Horozal F, Kohlhase M, Rabe F Conference contribution, Original article A proof theoretic interpretation of model theoretic hiding (2012) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article Semantics of OpenMath and MathML3 (2012) Kohlhase M, Rabe F Journal article, Original article The flexiformalist manifesto (2012) Kohlhase M Conference contribution, Original article Reasoning without believing: On the mechanisation of presuppositions and partiality (2012) Kerber M, Kohlhase M Journal article, Original article Project abstract: Logic atlas and integrator (LATIN) (2011) Codescu SM, Horozal F, Kohlhase M, Mossakowski T, Rabe F Conference contribution, Original article A foundational view on integration problems (2011) Rabe F, Kohlhase M, Sacerdoti Coen C Conference contribution, Original article Workflows for the management of change in science, technologies, engineering and mathematics (2011) Autexier S, David C, Kohlhase M, Zholudev V Conference contribution, Original article The planetary system: Executable science, technology, engineering and math papers (2011) Lange-Bever C, Kohlhase M, David C, Ginev D, Kohlhase A, Matican B, Zholudev V Conference contribution, Original article