Browsing by Author

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