Erklärbare k-Portfolios von SAT-Solvern (Verteidigung)

Aus SDQ-Institutsseminar
Version vom 4. Mai 2021, 09:12 Uhr von Jakob Bach (Diskussion | Beiträge) (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…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Vortragende(r) Luc Mercatoris
Vortragstyp Bachelorarbeit
Betreuer(in) Jakob Bach
Termin Fr 14. Mai 2021
Vortragssprache
Vortragsmodus
Kurzfassung <To do>