Teaching Activities
CSEN501
Databases I
Winter Term 2004
CSIS301
Data Structures and Algorithms in Java
CSIS101
Introduction to Computer Science I
Spring Term 2004
CSIS201
Introduction to Computer Science II
CSIS202
Introduction to Computer Programming
Winter Term 2003/2004
CSIS102
Computer Sciences
Wintersemester 02/03
Praktikum
Constraint-Programmierung in Java
Sommersemester 02
Vorlesung
Constraint-Programmierung: Theorie und Anwendung
Seminar
World Wide Web Internationalization and Localization
Wintersemester 01/02
Programmierpraktikum
Constraint-Programmierung
Sommersemester 01
Übungen zu
Informatik II
Wintersemester 00/01
Informatik I
Sommersemester 00
Description Logics
Wintersemester 99/00
Einführung in die Informatik: Programmierung und Softwareentwicklung (fachübergreifend)
Constraint Reasoning
Hauptseminar
Wintersemester 98/99
Course
Constraint Programming and Reasoning
Arbeitsgemeinschaft Constraints
Sommersemester 98
Wintersemester 97/98
Deduktive Datenbanksysteme
Sommersemester 97
Constraint-basierte Programmierung
Proseminar
Einführung in die Logik
Wintersemester 96/97
Beweissysteme mit Vorführungen
Sommersemester 96
Deduktionssysteme
Wintersemester 95/96
Wissensrepräsentation und wissensbasierte Systeme
Sommersemester 95
Logikbasierte Wissensrepräsentation
Wintersemester 94/95
Sommersemester 94
