Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

Proseminar "Formale Methoden und Maschinelles Lernen"

  • Typ: Proseminar (PS)
  • Semester: SS 2019
  • Zeit: 25.04.2019
    13:00 - 14:00 täglich
    50.34 Raum 236
    50.34 INFORMATIK, Kollegiengebäude am Fasanengarten

  • Dozent: Prof. Dr. Carsten Sinz
    Prof. Dr. Bernhard Beckert
  • LVNr.: 2400070