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)
Higher-order multi-valued resolution (1999)
Kohlhase M, Scheja O
Journal article, Original article
System description: MathWeb, an agent-based communication layer for distributed automated theorem proving (1999)
Franke A, Kohlhase M
Conference contribution, Original article
Agent-oriented integration of distributed mathematical services (1999)
Franke A, Kohlhase M, Sorge V
Journal article, Original article
MBase: Representing mathematical knowledge in a relational data base (1999)
Kohlhase M, Franke A
Journal article, Original article
Modellierung, Simulation, Visualisierung: Zu aktuellen Aufgaben der Informatik. (1998)
Wedekind H, Görz G, Kötter R, Inhetveen R
Journal article
Extensional higher-order resolution (1998)
Benzmüller C, Kohlhase M
Conference contribution, Original article
Integrating Computer Algebra into Proof Planning (1998)
Kerber M, Kohlhase M, Sorge V
Journal article, Original article
System description: Leo— A higher-order theorem prover (1998)
Kohlhase M, Benzmüller C
Conference contribution, Original article
A colored version of the λ-calculus (1997)
Hutter D, Kohlhase M
Conference contribution, Original article
ΩMEGA: Towards a mathematical assistant (1997)
Benzmüller C, Huang X, Kohlhase M, Melis E, Siekmann J, Sorge V
Conference contribution, Original article
‹
1
...
20
21
22
23
24
›