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

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


海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会
502元¥55250元券
活动结束时间:03-20 19:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情