MIN-Fakultät Fachbereich Informatik Bibliothek
Menzel, Wolfgang ; Schröder, Ingo
Constraint-based Diagnosis for Intelligent Language Tutoring Systems