关注微信公众号查券更方便
【4周达】Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, ... [9783319213613]
![【4周达】Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal, ... [9783319213613]](/Public/skin2/static/tqkpc/images/grey.gif)