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.
Archiv - RSS-Newsfeed