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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0

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

已售0