57.5 元券 H.9783540250517MathematicalMechanizing ￥1091.5 0去看看 澜瑞图书专营店发布了 【4周达】Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of... [9783540250517]
![【4周达】Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of... [9783540250517]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01TrpEPl28LaGd4GcOF_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
