Immanuel Normann
发表
Immanuel Normann,
2009
.
Michael Kohlhase,
Immanuel Normann,
M. Kohlhase,
2007,
Calculemus/MKM.
Till Mossakowski,
Oliver Kutz,
Dominik Lücke,
2008,
OWLED.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Immanuel Normann,
I. Normann,
2006,
AISC.
Alexandra Poulovassilis,
Sven Helmer,
Stefano Capuzzi,
2015,
ACM Journal on Computing and Cultural Heritage.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.
Dirk Walther,
Till Mossakowski,
Oliver Kutz,
2010,
OM.
Klaus Obermayer,
Hendrik Purwins,
Immanuel Normann,
2001,
ICMC.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2003
.
Oliver Kutz,
Immanuel Normann,
2009
.