Unternavigation / Sub Navigation

Standardverweise

Kolloquiumsvortrag

Prof. Dr. Georg Rock:

Optimierte Transformation von Klauselnormalformen und ihre Anwendung (ausgezeichnet mit dem Skolem-Award 2017/1997)

Termin: Mittwoch, 13. Juni 2018 um 16:00 Uhr

Raum: X15


Webredaktion Informatik, 14. November 2016