Instructors: Prof. Dr. Hans Kleine Büning
Event type: Lecture (with exercise)
Org-unit: Informatik
Displayed in timetable as: Logik und Deduktion
Language of instruction: German
Min. | Max. participants: - | -
Logics and Deduction - Übung
Prof. Dr. Hans Kleine Büning
Wed, 12. Oct. 2011 [09:00]-Wed, 1. Feb. 2012 [11:00]