提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/jar/EchenimP20非盟-埃切尼姆，姆纳乔非盟-佩尔蒂埃，尼古拉斯基于归纳和饱和相结合的定理证明。JO-J.汽车。原因。VL-64IS-2SP-253型欧洲药典-2942020年上半年//DO-2007年10月10日/S10817-019-09519-XUR-（欧元）https://doi.org/10.1007/s10817-019-09519-x急诊室-