International Proving Logics 海外直订Theorem Conference 高阶逻辑中 Higher 定理证明:第22 Order TPHOLs 22nd
International Proving Logics 海外直订Theorem Conference 高阶逻辑中 Higher 定理证明:第22 Order TPHOLs 22nd
549¥549
Higher 22nd Logics TPHOLs Order 高阶逻辑中 Conference Proving International
中华商务图书专营店
查看商品详情 点击展开

相关推荐

复制分享文案

分享给好友

点击一键复制

复制口令购买
↓↓复制下方口令,打开手机淘宝,即可购买↓↓

点击复制