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

Auswahl des Versionsunterschieds: Markiere die Radiobuttons der zu vergleichenden Versionen und drücke die Eingabetaste oder die Schaltfläche am unteren Rand.
Legende: (Aktuell) = Unterschied zur aktuellen Version, (Vorherige) = Unterschied zur vorherigen Version, K = Kleine Änderung

10. Mai 2021

4. Mai 2021

  • AktuellVorherige 09:1209:12, 4. Mai 2021Jakob Bach Diskussion Beiträge 176 Bytes +176 Bytes 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…“