Univ.-Prof. Dr. Clemens Ballarin
Welcome
Research
Publications
Teaching
Home
Welcome
Research
Publications
Teaching
Teaching
Current Semester
Algorithmen und Datenstrukturen
(lecture)
Automatic Deduction — Introduction to Isabelle
(lecture)
Consultation during the lecture period: Wednesdays 16–18. Otherwise by appointment.
Past Teaching
WS 2007/08
Logic
(lecture)
Constraint Programming
(specialisation seminar)
SS 2007
Algorithmen und Datenstrukturen
(lecture)
WS 2006/07
Logic
(lecture)
Automated Theorem Proving with Isabelle/HOL
(lecture)