Forked from
KWARC / kwarc.info / www
1086 commits behind the upstream repository.
-
Tom Wiesing authoredTom Wiesing authored
inormann.md 308 B
layout: person
title: Immanuel Normann
fullname: Dr. Immanuel Normann
pic: public/images/inormann.jpg
role: phd-student
start_date: 2004-01
end_date: 2008-12
affiliation: Pagina GmbHDescription
Immanuel Normann was a Ph.D. student at KWARC.
Thesis Title
Automated Theory Interpretation