提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/fossacs/EchenimIP19AU-埃切宁，姆纳乔AU-Iosif，Radu公司非盟-佩尔蒂埃，尼古拉斯任意域上分离逻辑的Bernays-Schönfinkel-Ramsey类。BT-软件科学和计算结构基础-第22届国际会议，FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2019年，捷克共和国布拉格，2019年4月6日至11日，会议记录第242页EP-2592019年上半年//DO-2007年10月10日/978-3-030-17127-8_14UR-（欧元）https://doi.org/10.1007/978-3-030-17127-8_14急诊室-