关注微信公众号查券更方便
【预订】Mechanizing Hypothesis Formation: Ma...
【预售】Mechanizing Proof: Computing, Risk, and Trust
【预订】Mechanizing Hypothesis Formation 9780367549800
预订 Mechanizing Hypothesis Formation: Principles and Case Studies: 9780367549824
【预订】Mechanizing Mathematical Reasoning
海外直订Mechanizing Mathematical Reasoning: Essays in Honor of J?rg H. Siekmann on the O 数学推理机械化：纪念J？rg
海外直订Mechanizing Hypothesis Formation: Principles and Case Studies 机械化假设形成:原理和案例研究
【4周达】Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory [9783540087380]
【4周达】Mechanizing Hypothesis Formation: Principles and Case Studies [9780367549824]
【4周达】Mechanizing Hypothesis Formation: Principles and Case Studies [9780367549800]
【4周达】Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of... [9783540250517]
预订 Algorithmic Modernity: Mechanizing Thought and Action, 1500-2000 [9780197502426]
海外直订Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory 机械化假设形成：一般理论的
【4周达】Mechanizing Proof: Computing, Risk, and Trust [9780262632959]
![【4周达】Mechanizing Proof: Computing, Risk, and Trust [9780262632959]](/Public/skin2/static/tqkpc/images/grey.gif)
