Frontalansicht der Hanfried Statue

Promotionsverteidigung

Titel: "The Complexity of Quantified Conflict Driven Clause Learning"
Frontalansicht der Hanfried Statue
Foto: Jan-Peter Kasper (Universität Jena)
Veranstaltungseckdaten
Diese Veranstaltung im ICS-Format exportieren
Beginn
Ende
Veranstaltungsarten
Veranstaltung der Fakultät
Ort
Ernst-Abbe-Platz 2, SR 3325
07743 Jena
Google Maps – LageplanExterner Link
Es referiert
Benjamin Böhm
Organisiert von
Fakultät für Mathematik und Informatik
Veranstaltungssprachen
Deutsch
Englisch
Barrierefreier Zugang
ja
Öffentlich
ja