 | 1999 |
|---|
| 5 |       | Detlef Fehrer,
Helmut Horacek:
Presenting Inequations in Mathematical Proofs.
Inf. Sci. 116(1): 3-23 (1999) |
| 1997 |
|---|
| 4 |  | Christoph Benzmüller,
Lassaad Cheikhrouhou,
Detlef Fehrer,
Armin Fiedler,
Xiaorong Huang,
Manfred Kerber,
Michael Kohlhase,
Karsten Konrad,
Andreas Meier,
Erica Melis,
Wolf Schaarschmidt,
Jörg H. Siekmann,
Volker Sorge:
Omega: Towards a Mathematical Assistant.
CADE 1997: 252-255 |
| 3 | | Detlef Fehrer,
Helmut Horacek:
Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs.
IJCAI (2) 1997: 959-964 |
| 1993 |
|---|
| 2 | | Detlef Fehrer:
A Unifying Logical Framework for Reason Maintenance.
ECSQARU 1993: 113-120 |
| 1990 |
|---|
| 1 | | Detlef Fehrer:
A Resolution Calculus for a Logic Based on Vaguely Defined Predicates.
ECAI 1990: 268-273 |
