Introduction to Computational Logic Gert Smolka

Gert Smolka
Contact: ( )

Dominik Kirst
Contact: ( )
Homepage: https://www.ps.uni-saarland.de/~kirst/

Raven Beutner
Contact: ( )
Tutorial #1: Tuesday, 08:30 in E1 3, SR 014

Marcel Ullrich
Contact: ( )
Tutorial #3: Tuesday, 14:15 in E1 3, SR 014

Dominik Wehr
Contact: ( )
Homepage: https://www.ps.uni-saarland.de/~wehr/index.php
Tutorial #2: Tuesday, 12:15 in E1 3, SR 014