50 元券IntelligentMathematicsCalculemusComputer¥4700去看看中华商务图书专营店发布了海外直订Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, Mkm, 智能计算机数学:CI50 元券IntelligentMathematicsCalculemusSymposium¥5030去看看中华商务图书专营店发布了海外直订Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th Internati 智能计算机数学:第16届学术50 元券IntelligentMathematicsCalculemus研讨¥5030去看看中华商务图书专营店发布了海外直订Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th Inte 智能计算机数学:第18届研讨50 元券机械化MathematicalAssistantsMechanized¥5030去看看中华商务图书专营店发布了海外直订Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th 走向机械化数学助理:第14届50 元券微积分IntelligentMathematicsCalculemus¥5890去看看中华商务图书专营店发布了海外直订Intelligent Computer Mathematics: Mkm, Calculemus, DML, and Systems and Projects 智能计算机数学:Mkm,微积分50 元券Computation推理CALCULEMUSAutomated¥8830去看看中华商务图书专营店发布了海外直订Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 符号计算与自动推理:CALCU25 元券International9783642226724IntelligentMathematics¥5310去看看澜瑞图书专营店发布了【4周达】Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Co... [9783642226724]25 元券9783540730835MathematicalInternationCalculemus¥5510去看看澜瑞图书专营店发布了【4周达】Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th Internation... [9783540730835]25 元券9783319084336MathematicsIntelligentCalculemus¥5510去看看澜瑞图书专营店发布了【4周达】Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems ... [9783319084336]25 元券9783642393198IntelligentMathematicsCalculemus¥5510去看看澜瑞图书专营店发布了【4周达】Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held ... [9783642393198]25 元券International9783642026133IntelligentMathematics¥5700去看看澜瑞图书专营店发布了【4周达】Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Confere... [9783642026133]25 元券9781568811451ComputationCALCULEMUSSymposium¥10770去看看澜瑞图书专营店发布了【4周达】Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium [9781568811451]