Introduction
From International Center for Computational Logic
Introduction
This section contains useful information for students who enrolled in 2016 or before, only. Students who will enroll in 2017 or later are referred to the Seiten der Fakultät .
