Picture of Claus-Peter Wirth

CP's Teaching Page

  • SS 2005: Seminar: Mathematical Assistant Systems Shootout as listed in Vorlesungsverzeichnis Sommer 2005
  • WS 2004/5: Mathematical Assistant Systems as listed in Vorlesungsverzeichnis Winter 2004/5
  • SS 2004: Proof Planning
  • WS 2003/4: Human-Oriented Theorem Proving
  • SS 2003: AI
  • SS 2002: Informatics for Cooks
    • picture of student