Machine Learning for Automated Reasoning

Activity: PhD supervision and PhD examination typesPhD examinationAcademic

Period2014
ExamineeDaniel Kuhlwein
Examination held at
  • Radboud University Nijmegen
Degree of RecognitionInternational