欢迎加入我爱买系列
我爱买
  • 搜淘宝
  • 搜京东
微信扫一扫

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


【4周达】Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montrea... [9783540710653]
【4周达】Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montrea... [9783540710653]
550元¥580预计返¥ 2.630元券
活动结束时间:12-04 23:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情
  • 特别推荐