Grundlagen des maschinellen Beweisens - Ralf-Detlef Kutsche - Häftad | Bokus