欢迎加入51折客联盟
亲,请登录
或
免费注册
|
联系客服
搜淘宝
搜京东
搜拼多多
搜索
今日热搜：
控糖丸
帝心
艾纯叶
508025
勾不掉
维亚内
微信扫一扫
关注微信公众号
查券更方便
首页
9块9包邮
超级人气榜
品牌优惠券
淘宝优惠券
京东优惠券
拼多多券
优惠券头条
【4周达】Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaisers... [9783540745907]
570元
￥600
预计返￥ 0
30元券
活动结束时间：01-20 19: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/i2/2107887916/O1CN01XI5SIq28LaGdgPVAh_!!4611686018427384108-0-item_pic.jpg_400x400)
