Saarland University Computer Science


Introduction to Computational Logic Gert Smolka

Instructors

Bild
Gert Smolka
Contact: ( )


Assistants

Bild
Kathrin Stark
Contact: ( )
Tutorial #2: Wednesday, 12:00 in U12, E1 1


Teaching Assistants

Bild
Clara Schneidewind
Contact: ( )
Tutorial #1: Wednesday, 10:00 in U36, E2.5