Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings: 9236 (Lecture Notes in Computer Science)
TrustPilot
扎伊纳布 N.
1 周前
Neha S.
2 周前
关税和税费包括
30天对于 PRO 会员用户
15天无会员资格
伊姆兰 F.
安妮塔· G.
2 个月前