提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-纸张ID-DBLP:conf/ijcai/EchenimPT18AU-埃切宁，姆纳乔非盟-佩尔蒂埃，尼古拉斯AU-索菲·托雷特TI-等式逻辑中的素蕴涵生成（扩展抽象）。英国电信——第二十七届国际人工智能联合会议记录，2018年7月13日至19日，瑞典斯德哥尔摩。SP-5588型EP-55922018年上半年//DO-10.24963/IJCAI.2018/790UR-（欧元）https://doi.org/10.24963/ijcai.2018/790急诊室-