关注微信公众号查券更方便
【3-4周达】Automated Deduction in Geometry : 10th International Workshop, ADG 2014, Coimbra, Portugal... [9783319213613]