Monika Seisenberger (Swansea): New ways of extracting algorithms from proofs
Saturday, 19.07.2008 15:00 im Raum M5
Angelegt am 08.07.2008 von Martina Pfeifer
Geändert am 17.07.2008 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge