Lecture "Automated Reasoning SS10" - Exercises

Exercises

Submit the solutions during the lecture on Tuesdays.

The tutorial groups start in week 1 (beginning from 20th of April, respectively).

Group 1: Tuesday 10-12, Room has changed to R024 , Building E1 4, Tutor: Evgeny Kruglov, Contact: ekruglov[add at][add mpi-inf.mpg.de]

Group 2: Wednesday 10-12, Room 023, Building E1 4, Tutor: Willem Hagemann, Contact: hagemann[add at][add mpi-inf.mpg.de]

Group 3: Friday 16-18, Room 023, Building: E1 4, Tutor: Francis Gasse, Contact: fgasse[add at][add mpi-inf.mpg.de]