Browsing by Author

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Ymeri Ardit - 2019 - Automated generation of analytic calculi for involutive...pdf.jpgYmeri, Ardit Automated generation of analytic calculi for involutive logicsThesis Hochschulschrift 2019