首页 所有分类 书籍/杂志/报纸 科普读物/自然科学/技术类原版书
证明助手 Proof for Isabelle Assistant 海外直订Isabelle Hol：高阶逻辑 Logic Hol Higher Order
证明助手 Proof for Isabelle Assistant 海外直订Isabelle Hol：高阶逻辑 Logic Hol Higher Order
所 在 地：广东 佛山 累计销量：0 件
领券优惠：  50元券 
店铺掌柜：  中华商务图书专营店 
商品标签：证明助手OrderIsabelleHigherHolforLogicProofAssistant
￥609 ￥609.00
领券购买
相关推荐
史蒂芬霍金原版 社 著作刘慈欣央视朗读宇宙知识自然科学理论物理学畅销科普读物书籍湖南科学技术出版 官方正版 时间简史插图版

史蒂芬霍金原版 社 著作刘慈欣央视朗读宇宙知识自然科学理论物理学畅销科普读物书籍湖南科学技术出版 官方正版 时间简史插图版

折后价 ￥ 22.5
已售 0