Martin Hofmann

3 books

Automated Construction of Xsl-Templates by Martin Hofmann

Automated Construction of Xsl-Templates

Martin Hofmann

124 pages • missing pub info (editions)

nonfiction computer science medium-paced
Extensional Constructs in Intensional Type Theory by Martin Hofmann

Extensional Constructs in Intensional Type Theory

Distinguished Dissertations

Martin Hofmann

216 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Warum wir mündig glauben dürfen: Wege zu einem widerstandsfähigen Glaubensleben by Martin Hofmann, Tobias Faix, Tobias Künkler

Warum wir mündig glauben dürfen: Wege zu einem widerstandsfähigen Glaubensleben

Martin Hofmann, Tobias Faix, Tobias Künkler

288 pages • missing pub info (editions)

medium-paced