FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Professur für Wissensrepräsentation und -verarbeitung
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Department Informatik
Overview
Publications
(376)
Research Grants
(10)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
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
Communication Protocols for mathematical services based on KQML and OMRS (2001)
Kohlhase M, Armando A, Ranise S
Conference contribution, Original article
MBase: Representing knowledge and context for the integration of mathematical software systems (2001)
Kohlhase M
Journal article, Original article
Feature logic for dotted types: A formalism for complex word meanings (2000)
Pinkal M, Kohlhase M
Conference contribution
System description: MBASE, an open mathematical knowledge base (2000)
Franke A, Kohlhase M
Conference contribution, Conference Contribution
ICoS-2 Inference in Computational Semantics. Workshop Proceedings (2000)
Bos J, Kohlhase M
Edited Volume
Model generation for discourse representation theory (2000)
Kohlhase M
Conference contribution, Original article
Managing structural information by higher-order colored unification (2000)
Hutter D, Kohlhase M
Journal article, Original article
ℒΩUI: ℒovely ΩMEGA User Interface (1999)
Kohlhase M
Journal article, Original article
‹
1
...
19
20
21
22
23
24
›