Zimmermann, MarcHerding, Daniel2014-01-172014-01-172010http://hdl.handle.net/2003/32055http://dx.doi.org/10.17877/DE290R-13572de510Entwicklung einer computergestützten Lernumgebung für bidirektionale Umformungen in der MengenalgebraText