Detlef Fehrer

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	1999
j1		Detlef Fehrer, Helmut Horacek: Presenting Inequations in Mathematical Proofs. Inf. Sci. 116(1): 3-23 (1999)
	1997
c4		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
c3		Detlef Fehrer, Helmut Horacek: Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. IJCAI (2) 1997: 959-964
	1993
c2		Detlef Fehrer: A Unifying Logical Framework for Reason Maintenance. ECSQARU 1993: 113-120
	1990
c1		Detlef Fehrer: A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. ECAI 1990: 268-273

Coauthor Index

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

Last update Sun May 26 00:44:28 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page