Introduction to Computational Logic

Prof. Gert Smolka

Instructors

Bild
Gert Smolka
Contact: show mail
Homepage: https://www.ps.uni-saarland.de/~smolka/

Teaching Assistants

Bild
Niklas Mück
Contact: show mail
Tutorial #1: Tuesday, 10:15 in SR 014 in E1 3
Bild
Haoyi Zeng
Contact: show mail
Tutorial #2: Tuesday, 14:15 in SR 016 in E1 3
Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.