60 元券 预售MaschinellenGrundlagenBeweisens ￥518 0去看看 中国国际图书专营店发布了 【预售】Grundlagen Des Maschinellen Beweisens: Eine 30.2 元券 9783528047184MathematikerInformatikermaschinellen ￥572.8 0去看看 澜瑞图书专营店发布了 【4周达】Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker [9783528047184] 29.4 元券 9783528147181MathematikerInformatikerMaschinellen ￥558.6 0去看看 澜瑞图书专营店发布了 【4周达】Grundlagen Des Maschinellen Beweisens: Eine Einführung Für Informatiker Und Mathematiker [9783528147181]
![【4周达】Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker [9783528047184]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01fcjvsN28LaGb39tVU_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Grundlagen Des Maschinellen Beweisens: Eine Einführung Für Informatiker Und Mathematiker [9783528147181]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01g4q4sI28LaGdx56yu_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)