• Über uns
• Mitarbeiter
• Veröffentlichungen
• Projekte
• Lehre
  • Aktuell
  • Kommendes Semester
  • Vorherige Semester
  • Auszeichnungen
• Stellenanzeigen
• Bachelor-/Masterarbeiten
• Impressum/Lageplan

Theorembeweiserpraktikum: Anwendungen in der Sprachtechnologie