dblp.uni-trier.dewww.uni-trier.de

Detlef Fehrer

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Christoph Benzmüller (Christoph Benzmueller) [4]
2Lassaad Cheikhrouhou [4]
3Armin Fiedler [4]
4Helmut Horacek [3] [5]
5Xiaorong Huang [4]
6Manfred Kerber [4]
7Michael Kohlhase [4]
8Karsten Konrad [4]
9Andreas Meier [4]
10Erica Melis [4]
11Wolf Schaarschmidt [4]
12Jörg H. Siekmann [4]
13Volker Sorge [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)