Erklärbare k-Portfolios von SAT-Solvern (Verteidigung): Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Luc Mercatoris |email=uxruc@student.kit.edu |vortragstyp=Bachelorarbeit |betreuer=Jakob Bach |termin=Institutsseminar/2021-05-14 |kurzf…“) |
(kein Unterschied)
|
Version vom 4. Mai 2021, 10:12 Uhr
Vortragende(r) | Luc Mercatoris | |
---|---|---|
Vortragstyp | Bachelorarbeit | |
Betreuer(in) | Jakob Bach | |
Termin | Fr 14. Mai 2021 | |
Vortragsmodus | ||
Kurzfassung | <To do> |