欢迎加入推券客联盟
会买菌的种草日志
  • 搜淘宝
  • 搜京东
  • 搜拼多多
微信扫一扫

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


【3-4周达】Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampt... [9783540440390]
【3-4周达】Theorem Proving in Higher Order Logics : 15th International Conference, TPHOLs 2002, Hampt... [9783540440390]
615元¥68469元券
活动结束时间:11-16 20:00 累计销量 : 件

手机淘宝扫码领券购买

  • 商品详情