Erklärbare k-Portfolios von SAT-Solvern: Unterschied zwischen den Versionen
(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…“) |
(kein Unterschied)
|
Version vom 10. Dezember 2020, 16:37 Uhr
| Vortragende(r) | Luc Mercatoris | |
|---|---|---|
| Vortragstyp | Proposal | |
| Betreuer(in) | Jakob Bach | |
| Termin | Do 17. Dezember 2020 | |
| Vortragsmodus | ||
| Kurzfassung | Kurzfassung | |