欢迎加入我爱买系列
亲,请登录
或
免费注册
|
联系客服
搜淘宝
搜京东
搜索
今日热搜：
9595343502
07545
113011
46222
9781491814
99000090
微信扫一扫
关注微信公众号
查券更方便
首页
9块9包邮
超级人气榜
品牌优惠券
淘宝优惠券
京东优惠券
拼多多券
优惠券头条
【4周达】Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaisers... [9783540745907]
500元
￥600
预计返￥ 2.36
100元券
活动结束时间：11-11 23:59
累计销量 ：
0
件
TAG标签：
9783540745907
International
Conference
Theorem
立即领券
复制优惠
手机淘宝扫码领券购买
商品详情
特别推荐
![【4周达】Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaisers... [9783540745907]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN014Mcl9a28LaEo69nW3_!!0-item_pic.jpg_400x400)
