提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/cade/TourEN08巡回演唱会，蒂埃里·博伊·德拉AU-埃切宁，姆纳乔非盟-巴利亚特·纳伦德兰TI-统一和匹配模叶置换方程表示。BT-自动推理，第四届国际联合会议，2008年8月12日至15日，澳大利亚悉尼，IJCAR 2008，会议记录SP-332EP-3472008年上半年//DO-2007年10月10日/978-3-540-71070-7_30UR-（欧元）https://doi.org/10.1007/978-3-540-71070-7_30急诊室-