Starten Sie Ihre Suche...


Wir weisen darauf hin, dass wir technisch notwendige Cookies verwenden. Weitere Informationen

IMathAS automated Assessment of mathematical Proof

Koblenz: WTM-Verlag 2014 S. 915 - 919

Erscheinungsjahr: 2014

Publikationstyp: Buchbeitrag

Geprüft:Bibliothek

Autoren


Platz, M. (Autor)
Niehaus, Engelbert (Autor)
Dahn, (Autor)
Dreyer, (Autor)