Immanuel Normann

2008
4	EE	Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann: The OWL in the CASL - Designing Ontologies Across Logics. OWLED 2008
2007
3	EE	Immanuel Normann, Michael Kohlhase: Extended Formula Normalization for epsilon -Retrieval and Sharing of Mathematical Knowledge. Calculemus/MKM 2007: 356-370
2006
2	EE	Immanuel Normann: Enhanced Theorem Reuse by Partial Theory Inclusions. AISC 2006: 40-52
2002
1	EE	Jörg H. Siekmann, Christoph Benzmüller, Vladimir Brezhnev, Lassaad Cheikhrouhou, Armin Fiedler, Andreas Franke, Helmut Horacek, Michael Kohlhase, Andreas Meier, Erica Melis, Markus Moschner, Immanuel Normann, Martin Pollet, Volker Sorge, Carsten Ullrich, Claus-Peter Wirth, Jürgen Zimmer: Proof Development with OMEGA. CADE 2002: 144-149

Coauthor Index

1	Christoph Benzmüller (Christoph Benzmueller)	[1]
2	Vladimir Brezhnev	[1]
3	Lassaad Cheikhrouhou	[1]
4	Armin Fiedler	[1]
5	Andreas Franke	[1]
6	Helmut Horacek	[1]
7	Michael Kohlhase	[1] [3]
8	Oliver Kutz	[4]
9	Dominik Lücke	[4]
10	Andreas Meier	[1]
11	Erica Melis	[1]
12	Markus Moschner	[1]
13	Till Mossakowski	[4]
14	Martin Pollet	[1]
15	Jörg H. Siekmann	[1]
16	Volker Sorge	[1]
17	Carsten Ullrich	[1]
18	Claus-Peter Wirth	[1]
19	Jürgen Zimmer	[1]

Colors in the list of coauthors