Browsing

Showing results 1 to 1 of 1
PreviewAuthors / EditorsTitleTypeIssue Date
Hajdu Marton - 2021 - Automating inductive reasoning with recursive functions.pdf.jpgHajdu, Marton Automating inductive reasoning with recursive functionsThesis Hochschulschrift 2021