Lecture "Decision Procedures for Logical Theories" (WS 2002/2003)

Time and Venue:
Lecture: Thursdays, 11:00--13:00, Bldg 45, Room 001
Tutorials: Wednesdays, 14:30--16:00, Bldg 46.1, Room 021.

Lecturer:
Harald Ganzinger <hg@mpi-inf.mpg.de>

Tutor:
Uwe Waldmann <uwe@mpi-inf.mpg.de>

Exercise sheets

Slides and suggested readings


Previous | Up | Next
Uwe Waldmann <uwe@mpi-inf.mpg.de>, 2003-02-20.
Imprint | Data Protection