提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/tableaux/Girle07澳大利亚-Girle，Roderic A。TI-S0.9和S1的邻居。BT-使用分析表和相关方法的自动推理，第16届国际会议，Tableaux 2007，法国普罗旺斯艾克斯，2007年7月3-6日，会议记录SP-119EP-1322007年上半年//DO-2007年10月10日/978-3-540-73099-6_11UR-（欧元）https://doi.org/10.1007/978-3-540-73099-6_11急诊室-