Immanuel Normann

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	[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	Andreas Meier	[1]
9	Erica Melis	[1]
10	Markus Moschner	[1]
11	Martin Pollet	[1]
12	Jörg H. Siekmann	[1]
13	Volker Sorge	[1]
14	Carsten Ullrich	[1]
15	Claus-Peter Wirth	[1]
16	Jürgen Zimmer	[1]