Lolić, Anela

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Lolić, Anela
 

Own Publications Eigene Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Lolic Anela - 2015 - Herbrand Sequente und die skolemisierungs-freie CERES...pdf.jpgLolic, Anela Herbrand Sequente und die skolemisierungs-freie CERES MethodeThesis Hochschulschrift2015
2Lolic Anela - 2020 - Automated proof analysis by CERES.pdf.jpgLolić, Anela Automated proof analysis by CERESThesis Hochschulschrift2020