Mnacho Echenim和Nicolas Peltier：生成基本解释的微积分。(2012) conf/cade/EchenimP12 10.1007/978-3-642-31365-3_17 生成基本解释的微积分。 2 Mnacho Echenim公司 1 尼古拉斯·佩尔蒂埃 2 194-209 国际JCAR 国际JCAR 2012 2012 dblp记录“conf/cade/EchenimP12”的RDF数据的来源信息 2017-05-21T00:17:17+0200