Grundlagen des maschinellen Beweisens - Ralf-Detlef Kutsche - E-bok | Bokus