Achtung: diese Seite wird nur zu Testzwecken betrieben. Hier gelangen Sie zur Madipedia-Website: https://madipedia.de
Suchergebnisse
Zur Navigation springen
Zur Suche springen
- * Track A: Calculemus (chair: James Davenport) *OpenMath Workshop (organisers: James Davenport, Michael Kohlhase)7 KB (836 Wörter) - 10:49, 8. Okt. 2017
- | begutachtet1 = James Davenport <!-- Erstgutachter/in -->3 KB (398 Wörter) - 16:13, 16. Apr. 2014