关注微信公众号查券更方便
【3-4周达】Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Re... [9783540412854]
![【3-4周达】Logic for Programming and Automated Reasoning : 7th International Conference, LPAR 2000 Re... [9783540412854]](/Public/skin2/static/tqkpc/images/grey.gif)