提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1809-03245澳大利亚——丹尼尔·丹尼尔斯基澳大利亚-基伦斯基，伊曼纽尔具有传递性的一元否定片断的TI有限可满足性。JO-CoRR公司VL-abs/1809.032452018年上半年//UR-（欧元）http://arxiv.org/abs/1809.03245急诊室-