Lehrstuhl für Informatik 7 (Logik und Theorie diskreter Systeme)
RWTH Aachen