Machine Learning for Automated Reasoning

Activity: Examination typesPhD examinationAcademic

Period2014
ExamineeDaniel Kuhlwein
Examination held atRadboud University Nijmegen
Degree of RecognitionInternational