Helmut Schwichtenberg (München): Computational content of proofs
Saturday, 19.07.2008 12:00 im Raum M5
Angelegt am Tuesday, 08.07.2008 09:54 von Martina Pfeifer
Geändert am Thursday, 17.07.2008 09:39 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge