Sommersemester 2012
- Angewandte Logik
- Assisted Living: Sensor and Game Technologies for an Aging Generation
- Automatic Problem Solving
- Datenbank-Anwendungsprogrammierung mit PL/SQL
- Datenbankpraktikum
- General Game Playing Project
- Solver Construction Project I
- Wissensverarbeitung/Wissensbasierte Systeme
- Wissensrepräsentation und -verarbeitung