Suchergebnisse
- * 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