欢迎使用
秘阁严选网
  • 搜淘宝
  • 搜京东
  • 搜拼多多
  • 搜唯品会
微信扫一扫

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


【3-4周达】Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montr... [9783540710653]
【3-4周达】Theorem Proving in Higher Order Logics : 21st International Conference, TPHOLs 2008, Montr... [9783540710653]
573元¥63764元券
活动结束时间:02-23 23:59 累计销量 :

手机淘宝扫码领券购买

  • 商品详情
  • 特别推荐