提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-查普ID-DBLP:系列/argulib/GirleHMV04澳大利亚-Girle，Roderic A。AU-大卫·希区柯克澳大利亚——彼得·麦克伯尼AU-巴特·维尔海伊TI-实用推理的决策支持。论证机器，论证和计算的新前沿。SP-55型欧洲药典-832004年上半年//DO-2007年10月10日/978-94-017-0431-1_3UR-（欧元）https://doi.org/10.1007/978-94-017-0431-1_3UR-（欧元）https://www.wikidata.org/entity/Q56803993急诊室-