海外直订Interactive Theorem Proving: 6th International Conference,Itp 2015,Nanjing,Ch 交互定理证明:第六届国际会

您的位置：甘肃模具平台 > 文体 > 海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会

海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会

海外直订Interactive Theorem Proving: 6th International Conference, Itp 2015, Nanjing, Ch 交互定理证明:第六届国际会 - 中华商务图书专营店

券后价￥492 领优惠券 ¥ 60 

原价：552元8.91折距离结束：

去天猫抢购>> 收藏

国际会定理第六届 International Interactive

0人收藏举报中华商务图书专营店

扫码有惊喜！

扫码进入手机查看

宝贝详情

HOT同类热卖

L

o

a

d

i

n

g

.

.

.

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

甘肃模具平台　　Copyright © 2010 - 2019 http://gsmjpt.yuncomcn.com/ All Rights Reserved