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

Aus SDQ-Institutsseminar
Version vom 4. Mai 2021, 10: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 [[Institutsseminar/2021-05-14|
 VeranstaltungsdatumVeranstaltungsraum
Institutsseminar/2021-05-14Fr 14. Mai 2021, 11:05
]]
Vortragssprache
Vortragsmodus
Kurzfassung <To do>
Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Erklärbare_k-Portfolios_von_SAT-Solvern_(Verteidigung)&oldid=1654“