您的位置:91购物  >  文体  >  海外直订Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality 高阶逻辑中的自动推理:丘奇类型
海外直订Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality  高阶逻辑中的自动推理:丘奇类型

    海外直订Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality 高阶逻辑中的自动推理:丘奇类型 - 中华商务图书专营店

    券后价¥463领优惠券¥10

    原价:473元9.79折距离结束:

    去天猫抢购>>收藏

    扫码有惊喜!

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

    HOT同类热卖

      L
      o
      a
      d
      i
      n
      g
      .
      .
      .

    91购物  桂ICP备2023004367号  Copyright © 2010 - 2019 https://www.91gouwu.com/ All Rights Reserved