Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results

inormann.md

Blame
  • Forked from KWARC / kwarc.info / www
    1131 commits behind the upstream repository.
    layout: person
    title: Immanuel Normann
    fullname: Dr. Immanuel Normann
    role: phd-student
    pic: public/images/inormann.jpg
    start_date: 2004-01
    end_date: 2008-12

    Description

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

    Thesis Title:

    Automated Theory Interpretation

    Current Affiliation?

    Pagina GmbH.