156 元券International9783319402284ConferenceAutomated￥8780去看看澜瑞图书专营店发布了【3-4周达】Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, J... [9783319402284]
![【3-4周达】Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, J... [9783319402284]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01F6Ut2H28LaNl4dgGh_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
