Introduction to Computational Logic Gert Smolka

Instructors

Gert Smolka
Contact: ( )

Assistants

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

Teaching Assistants

Lennard Gäher
Contact: ( )
Tutorial #2: Tuesday, 12:00 in

Bohdan Liesnikov
Contact: ( )
Tutorial #3: Tuesday, 16:00 in