Prefix title Titel (vorangestellt)
Univ.Prof.i.R. Dr.phil.
 
Full name Familienname, Vorname
Leitsch, Alexander
 

Results 1-1 of 1 (Search time: 0.004 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-9 of 9 (Search time: 0.012 seconds).