欢迎加入推券客联盟
可淘得
  • 搜淘宝
微信扫一扫

关注微信公众号
查券更方便


海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明:第五届国际
海外直订Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Par 交互式定理证明:第五届国际
503元¥55350元券
活动结束时间:03-20 19:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情