📚 海外直订Interactive Theorem Proving: Second International Conference, ITP 2011, Berg En 交互式定理证明：第二届国际
您的位置：
宝妈美购物网
>
文体
>
原价:
￥662
券后价￥
632
立即抢购
❤️ 0
💬
⭐ 收藏
中华商务图书专营店
定理
交互式
International
Interactive
Conference
💌网友评价
宝妈美购物网