20 元券 微积分IntelligentMathematicsCalculemus ￥619 0去看看 中华商务图书专营店发布了 海外直订Intelligent Computer Mathematics: Mkm, Calculemus, DML, and Systems and Projects 智能计算机数学:Mkm，微积分 20 元券 Computation推理CALCULEMUSAutomated ￥913 0去看看 中华商务图书专营店发布了 海外直订Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 符号计算与自动推理：CALCU 60 元券 IntelligentMathematicsCalculemusComputer ￥460 0去看看 中华商务图书专营店发布了 海外直订Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, Mkm, 智能计算机数学:CI 60 元券 IntelligentMathematicsCalculemusSymposium ￥493 0去看看 中华商务图书专营店发布了 海外直订Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th Internati 智能计算机数学:第16届学术 60 元券 IntelligentMathematicsCalculemus研讨 ￥493 0去看看 中华商务图书专营店发布了 海外直订Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th Inte 智能计算机数学:第18届研讨 60 元券 机械化MathematicalAssistantsMechanized ￥493 0去看看 中华商务图书专营店发布了 海外直订Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th 走向机械化数学助理：第14届 57.5 元券 9781568811451ComputationCALCULEMUSSymposium ￥1091.5 0去看看 澜瑞图书专营店发布了 【4周达】Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium [9781568811451] 30 元券 International9783642026133IntelligentMathematics ￥570 0去看看 澜瑞图书专营店发布了 【4周达】Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Confere... [9783642026133] 29 元券 International9783642226724IntelligentMathematics ￥551 0去看看 澜瑞图书专营店发布了 【4周达】Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Co... [9783642226724] 30 元券 9783319084336MathematicsIntelligentCalculemus ￥570 0去看看 澜瑞图书专营店发布了 【4周达】Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems ... [9783319084336] 30 元券 9783540730835MathematicalInternationCalculemus ￥570 0去看看 澜瑞图书专营店发布了 【4周达】Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th Internation... [9783540730835] 30 元券 9783642393198IntelligentMathematicsCalculemus ￥570 0去看看 澜瑞图书专营店发布了 【4周达】Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held ... [9783642393198]
![【4周达】Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium [9781568811451]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01LBb7cB28LaGSSUUWo_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Confere... [9783642026133]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01UCqDxO28LaGetF6u1_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Co... [9783642226724]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01wGr5yU28LaGeu3OQV_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems ... [9783319084336]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01PYZJu928LaGc8OhV1_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th Internation... [9783540730835]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01uyUqaN28LaGbNUgGf_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
![【4周达】Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held ... [9783642393198]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01hbgcyA28LaGewPoQY_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)