关注微信公众号查券更方便
【3-4周达】Logic Programming and Automated Reasoning : 5th International Conference, LPAR '94, Kiev, ... [9783540582168]