Erklärbare k-Portfolios von SAT-Solvern

Aus IPD-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)
Zur Navigation springen Zur Suche springen
Vortragende(r) Luc Mercatoris
Vortragstyp Proposal
Betreuer(in) Jakob Bach
Termin Do 17. Dezember 2020
Kurzfassung Kurzfassung