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)
Koblenz: WTM-Verlag 2014 S. 915 - 919
Erscheinungsjahr: 2014
Publikationstyp: Buchbeitrag
| Geprüft: | Bibliothek |