Fleischer, YannikBiehler, Rolf2020-09-222020-09-222020http://hdl.handle.net/2003/3940010.17877/DE290R-21301deGesellschaft für Didaktik der Mathematik510Automatisierte Entscheidungsverfahren als Thema im allgemeinbildenden Mathematikunterrichtconference contribution