Erklärbare k-Portfolios von SAT-Solvern

Aus SDQ-Institutsseminar
Version vom 10. Dezember 2020, 15:37 Uhr von Jakob Bach (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vortrag |vortragender=Luc Mercatoris |email=uxruc@student.kit.edu |vortragstyp=Proposal |betreuer=Jakob Bach |termin=Institutsseminar/2020-12-17 |kurzfassung…“)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Vortragende(r) Luc Mercatoris
Vortragstyp Proposal
Betreuer(in) Jakob Bach
Termin Do 17. Dezember 2020
Vortragssprache
Vortragsmodus
Kurzfassung Kurzfassung
Abgerufen von „https://sdq.kastel.kit.edu/mediawiki-institutsseminar/index.php?title=Erklärbare_k-Portfolios_von_SAT-Solvern&oldid=1508“