Prefix title Titel (vorangestellt)
Associate Prof. Dipl.-Ing. Dr.techn.
 
Full name Familienname, Vorname
Hetzl, Stefan
 
Postfix title Titel (nachgestellt)
BSc
 
Main Affiliation Organisationszuordnung
 

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hetzl - 2011 - CERES in higher-order logic.pdf.jpgHetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel CERES in higher-order logicArticle Artikel 2011

Results 1-10 of 10 (Search time: 0.016 seconds).



Results 1-2 of 2 (Search time: 0.001 seconds).