提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/rr/HeymansFE09澳大利亚-海曼斯，斯迪恩澳大利亚-菲尔，克里斯蒂娜澳大利亚-艾特，托马斯TI-简单概念逻辑程序推理器。BT-Web推理和规则系统，第三届国际会议，RR 2009，Chantilly，VA，USA，2009年10月25-26日，会议记录第55页EP-702009年//DO-10.10007/978-3-642-05082-4_5UR-（欧元）https://doi.org/10.1007/978-3-642-05082-4_5急诊室-