menu
Dr. Immanuel Normann
Phd Student
KWARCie January 2004  -  December 2008
Pagina GmbH

Description

Immanuel Normann was a Ph.D. student at KWARC.

Thesis Title

Automated Theory Interpretation