Thomas Strahm (Bern): Primitive recursive selection functions for existential assertions over abstract algebras (joint work with with Jeffery I. Zucker)
Saturday, 19.07.2008 15:50 im Raum M5
Angelegt am Tuesday, 08.07.2008 09:55 von Martina Pfeifer
Geändert am Thursday, 17.07.2008 09:40 von Martina Pfeifer
[Edit | Vorlage]
Kolloquium FB10 und Sondervorträge