【4周达】Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker [9783528047184]

已售0