News
03.06.14, 2nd exam
Time and place of 2nd exam are online.
21.11.13, errata
Errata of lecture notes has been extended.
12.09.13, registration
Please register online for the course and the exercise class.
12.09.13, content
Prototype implementation of first-order resolution added.
11.09.13, homepage
The homepage has been updated and is online.