77 元券9783540613985EquationalAutomatedDeduction￥5600去看看澜瑞图书专营店发布了【3-4周达】Automated Deduction in Equational Logic and Cubic Curves [9783540613985]
![【3-4周达】Automated Deduction in Equational Logic and Cubic Curves [9783540613985]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01j7MNKI28LaMm5zauW_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
