提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/mics/KruglovW12AU-克鲁格洛夫，叶夫根尼澳大利亚-韦登巴赫，克里斯托夫TI-叠加决定了一阶逻辑片断的超常规理论。JO-数学。计算。科学。VL-6IS-4标准SP-427型EP-4562012年上半年//DO-10.1007/S11786-012-0135-4UR-（欧元）https://doi.org/10.1007/s11786-012-0135-4急诊室-