I. Normann
发表
O. Kutz,
I. Normann,
2009
.
O. Kutz,
I. Normann,
2010
.
Alexandra Poulovassilis,
Sven Helmer,
Stefano Capuzzi,
2015,
ACM Journal on Computing and Cultural Heritage.
Michael Kohlhase,
Immanuel Normann,
M. Kohlhase,
2007,
Calculemus/MKM.
Immanuel Normann,
I. Normann,
2006,
AISC.
Volker Sorge,
Jörg H. Siekmann,
Christoph Benzmüller,
2002,
CADE.
Jörg H. Siekmann,
Christoph Benzmüller,
Andreas Meier,
2003
.
Volker Sorge,
Jörg H. Siekmann,
Andreas Meier,
2002
.