Dr. Immanuel Normann
Phd Student, KWARCie January 2004 - December 2008
Pagina GmbH
Phd Student, KWARCie January 2004 - December 2008
Pagina GmbH
Description
Immanuel Normann was a Ph.D. student at KWARC.
Thesis Title
Automated Theory Interpretation