First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

Name: First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Price: 854.91 MYR
Availability: InStock

产品编号: 392539630

安全交易

经常一起购买

TrustPilot

TrustScore 4.5 | 7,300多个评论

安妮塔· G.

体验不错，但跟踪更新可以更好。

2 个月前

阿卜杜拉·B.

正品，价格实惠。国际送货也很快！

3 周前

全球购物，通过 Desertcart 享受优惠

物有所值

各种产品的价格具有竞争力

全球购物

为 200 多个国家/地区的 3 亿多购物者提供服务

增强保护

深受全球购物者喜爱的值得信赖的支付方式

客户保证

深受全球购物者喜爱的值得信赖的支付方式。

沙漠车应用程序

随时随地随时随地购物。

RM854

Malaysia店铺

免费退货

30天对于 PRO 会员用户

15天无会员资格

安全交易

TrustPilot

TrustScore 4.5 | 7,300多个评论

Reema J.

寻找稀缺商品的完美平台。送货及时。

1 个月前

Pooja R.

客户服务超出了我的预期。非常适合购买在其他地方找不到的产品。

1 周前