Die Klasse NP im Verband des Complexity Zoo
Aktuelles und Termine

18.01.12 Oberseminarvortrag: Heribert Vollmer

Prof. Dr. Heribert Vollmer (Hannover) spricht am 18.01.2012 um 17.00 Uhr in Raum B104/5 zum Thema "Verifying Proofs in Constant Depth". Interessenten sind herzlich eingeladen.

» mehr