Professur für Wissensrepräsentation und -verarbeitung

Cut-simulation in impredicative logics (2006) Kohlhase M, Brown C Conference contribution, Original article A search engine for mathematical formulae (2006) Kohlhase M, Sucan I Conference contribution, Original article Capturing the content of physics: Systems, observables, and experiments (2006) Hilf E, Kohlhase M, Stamerjohanns H Conference contribution, Original article CPOINT: Dissolving the author's dilemma (2004) Kohlhase M, Kohlhase A Conference contribution, Original article Higher-order semantics and extensionality (2004) Kohlhase M, Benzmüller C, Brown C Journal article, Original article Resource-adaptive model generation as a performance model (2003) Kohlhase M, Koller A Journal article, Original article Towards collaborative content management and version control for structured mathematical knowledge (2003) Kohlhase M, Anghelache R Conference contribution Proof development with Ωmega (2002) Kohlhase M, Siekmann J, Benzmüller C, Franke A, Melis E, Normann I, Sorge V Conference contribution, Original article System description: The mathweb software bus for distributed mathematical reasoning (2002) Zimmer J, Kohlhase M Conference contribution, Original article OMDoc: Towards an internet standard for the administration, distribution, and teaching of mathematical knowledge (2001) Kohlhase M Conference contribution, Original article