提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cade/EchenimP12非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯TI-生成基本解释的微积分。英国电信-自动推理-第六届国际联合会议，2012年6月26日至29日，英国曼彻斯特IJCAR 2012。诉讼SP-194欧洲药典-2092012年上半年//DO-2007年10月10日/978-3-642-31365-3_17UR-（欧元）https://doi.org/10.1007/978-3-642-31365-3_17急诊室-