提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cade/EchenimIP21AU-埃切宁，姆纳乔AU-Iosif，Radu公司AU-尼古拉斯·佩尔蒂埃TI-用归纳定义统一分离逻辑中的可判定蕴涵。BT-自动扣减-CADE 28-第28届自动扣减国际会议，虚拟事件，2021年7月12日至15日，会议记录SP-183欧洲药典-1992021年上半年//DO-2007年10月10日/978-3-030-79876-5_11UR-（欧元）https://doi.org/10.1007/978-3-030-79876-5_11急诊室-