关注微信公众号查券更方便
现货The Little Prover
英文原版 The Little Prover 面向scheme程序员的数学归纳法简介 英文版 进口英语原版书籍
面向 英文原版 The Little Prover 面向scheme程序员的数学归纳法简介 英文版 进口英语原版书籍
The Little Prover 面向scheme程序员的数学归纳法简介进口原版英文书籍
面向scheme程序员数学归纳法简介
scheme The Little Prover Daniel P. Friedman,Carl Eastlund
TheLittleProver进口英文原版
【预售】African Native Literature: Or Prover...
现货 面向scheme程序员的数学归纳法简介 The Little Prover [9780262527958]
预订 A Multi-Strategy Tableau Prover [9783330763517]
海外直订Little Prover 小证明人
【3-4周达】Isabelle : A Generic Theorem Prover [9783540582441]
海外直订Isabelle: A Generic Theorem Prover 伊莎贝尔:一个泛型定理证明
海外直订Slowly but Surely: Picture Books for Early Readers and Beginning Readers: Prover 缓慢而坚定:早期读者和初级
DroneCANH-RTF9PRover/Helical高精度GNSS定位系统
