提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-这些ID-DBLP:博士/博士/格里姆2009AU-斯蒂芬·格林TI-非单调描述逻辑的语义匹配。SP-1EP-2642009年//UR-（欧元）https://d-nb.info/99409460序号：ISBN 978-3-89838-620-3急诊室-