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

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


海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明:第四届国际
海外直订Interactive Theorem Proving: 4th International Conference, Itp 2013, Rennes, Fra 交互式定理证明:第四届国际
499元¥54950元券
活动结束时间:03-20 19:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情