提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tableaux/EchenimIP19非盟-埃切尼姆，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯TI-带一个选择器字段的Prenex分离逻辑。BT-使用分析表和相关方法的自动推理-第28届国际会议，2019年9月3日至5日，英国伦敦，Tableaux 2019，会议记录SP-409EP-4272019年上半年//DO-2007年10月10日/978-3-030-29026-9_23UR-（欧元）https://doi.org/10.1007/978-3-030-29026-9_23急诊室-