海外直订Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th Internati 智能计算机数学:第16届学术

海外直订Intelligent Computer Mathematics: Mkm, Calculemus, DML, and Systems and Projects 智能计算机数学:Mkm，微积分

海外直订Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, Mkm, 智能计算机数学:CI

海外直订Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th Inte 智能计算机数学:第18届研讨

海外直订Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th 走向机械化数学助理：第14届

海外直订Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 符号计算与自动推理：CALCU

【4周达】Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium [9781568811451]

【4周达】Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems ... [9783319084336]

【4周达】Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Confere... [9783642026133]

【4周达】Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held ... [9783642393198]

【4周达】Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th Internation... [9783540730835]

【4周达】Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Co... [9783642226724]