60 元券 MechanizingHypothesisFormation预订 ￥548 0去看看 中国国际图书专营店发布了 【预订】Mechanizing Hypothesis Formation: Ma... 220 元券 9780367549800MechanizingHypothesisFormation ￥1965 0去看看 中国国际图书专营店发布了 【预订】Mechanizing Hypothesis Formation 9780367549800 60 元券 预售MechanizingComputingTrust ￥553 0去看看 中国国际图书专营店发布了 【预售】Mechanizing Proof: Computing, Risk, and Trust 110 元券 MathematicalMechanizingReasoning预订 ￥1107 0去看看 中国国际图书专营店发布了 【预订】Mechanizing Mathematical Reasoning 60 元券 9780367549824MechanizingPrinciplesHypothesis ￥844 0去看看 中国国际图书专营店发布了 预订 Mechanizing Hypothesis Formation: Principles and Case Studies: 9780367549824 100 元券 机械化MechanizingPrinciplesHypothesis ￥1570 0去看看 中华商务图书专营店发布了 海外直订Mechanizing Hypothesis Formation: Principles and Case Studies 机械化假设形成:原理和案例研究 60 元券 H.机械化MathematicalMechanizing ￥973 0去看看 中华商务图书专营店发布了 海外直订Mechanizing Mathematical Reasoning: Essays in Honor of J?rg H. Siekmann on the O 数学推理机械化：纪念J？rg 15 元券 机械化MathematicalMechanizingFoundations ￥538 0去看看 中华商务图书专营店发布了 海外直订Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory 机械化假设形成：一般理论的 30 元券 9783540087380MathematicalMechanizingFoundations ￥570 0去看看 澜瑞图书专营店发布了 【4周达】Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory [9783540087380] 98.8 元券 9780367549800MechanizingPrinciplesHypothesis ￥1876.2 0去看看 澜瑞图书专营店发布了 【4周达】Mechanizing Hypothesis Formation: Principles and Case Studies [9780367549800] 42.3 元券 9780197502426AlgorithmicMechanizingModernity ￥803.7 0去看看 澜瑞图书专营店发布了 预订 Algorithmic Modernity: Mechanizing Thought and Action, 1500-2000 [9780197502426] 57.5 元券 H.9783540250517MathematicalMechanizing ￥1091.5 0去看看 澜瑞图书专营店发布了 【4周达】Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of... [9783540250517] 29.2 元券 9780262632959MechanizingComputingProof ￥553.8 0去看看 澜瑞图书专营店发布了 【4周达】Mechanizing Proof: Computing, Risk, and Trust [9780262632959] 48.6 元券 9780367549824MechanizingPrinciplesHypothesis ￥923.4 0去看看 澜瑞图书专营店发布了 【4周达】Mechanizing Hypothesis Formation: Principles and Case Studies [9780367549824]
![【4周达】Mechanizing Hypothesis Formation : Mathematical Foundations for a General Theory [9783540087380]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01F5HK9n28LaGcSGjly_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Mechanizing Hypothesis Formation: Principles and Case Studies [9780367549800]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01OqI9DT28LaFt7AQJt_!!0-item_pic.jpg_280x380xz.jpg)
![预订 Algorithmic Modernity: Mechanizing Thought and Action, 1500-2000 [9780197502426]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01UoTvZM28LaFqwt4ui_!!0-item_pic.jpg_280x380xz.jpg)
![【4周达】Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of... [9783540250517]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01TrpEPl28LaGd4GcOF_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Mechanizing Proof: Computing, Risk, and Trust [9780262632959]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01jNGhlV28LaHIWwJn3_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Mechanizing Hypothesis Formation: Principles and Case Studies [9780367549824]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01nttmzL28LaHRgDNqp_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)