Direkt zum InhaltDirekt zur Navigation

Masterverteidigung Martin Finke

Was Masterverteidigung
Wer Martin Finke
13MI-M
Wann 27.01.2016
von 15:00 bis 16:10
Wo Z417
Termin übernehmen vCal
iCal

Thema:
Equisatisfiable SAT Encodings of Arithmetical Operations

Gutachter & Betreuer:
Johannes Waldmann, HTWK
Alexander Bau, HTWK

abgelegt unter:
Nachrichten RSS
  • 12.01.2018
    Tagungsband der Lehrveranstaltung Grundlagen des wissenschaftlichen Arbeitens im Wintersemester 2017/18
    Weiterlesen
Verteidigungen
Bachelorverteidigung Max Jehnichen Raum: Z 417
Beginn: 01.02.18 - 09:00
Bachelorverteidigung Kevin Brach Raum: Z 417
Beginn: 02.02.18 - 09:30