Courses
Go to the superordinate section
703822
VU Selected Topics in Term Rewriting (VU / 3h / 6 ECTS-AP)
Aart Middeldorp
Aart Middeldorp
703829
VO Decision Procedures (VO / 3h / 6 ECTS-AP)
Aart Middeldorp, René Thiemann
Aart Middeldorp, René Thiemann
703830
PS Decision Procedures (PS / 2h / 4 ECTS-AP)
Vincent van Oostrom
Vincent van Oostrom
703834
VU Optimization Methods (VU / 3h / 6 ECTS-AP)
Fedor Sergeevic Smirnov
Fedor Sergeevic Smirnov
703835
VU Game Theory in Information Security (VU / 3h / 6 ECTS-AP)
Svetlana Abramova
Svetlana Abramova
703836
VU Natural Language Processing (VU / 5h / 10 ECTS-AP)
Adam Jatowt
Adam Jatowt
Notes:
- There may still be changes in the courses offered as well as room allocation and course dates.
- The course descriptions found in the English version of the course catalogue are for informational purposes only. Authoritative information can be found in the "Vorlesungsverzeichnis" (German version of the course catalogue).