您的位置:他他商城  >  文体  >  [预订]Machine Learning for Automated Theorem Proving 9781680838985
[预订]Machine Learning for Automated Theorem Proving 9781680838985

    [预订]Machine Learning for Automated Theorem Proving 9781680838985 - 中国国际图书专营店

    券后价¥946领优惠券¥150

    原价:1096元8.63折距离结束:

    去天猫抢购>>收藏

    扫码有惊喜!

    扫码进入手机查看
    • 宝贝详情

    HOT同类热卖

      L
      o
      a
      d
      i
      n
      g
      .
      .
      .

    他他商城  粤ICP备18151084号-2  Copyright © 2010 - 2019 https://07yhq.com/ All Rights Reserved