提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-纸张ID-DBLP:conf/fsttcs/DawarGG04AU-阿努吉达瓦尔澳大利亚-菲利普·加德纳澳大利亚-乔治·盖利TI-静态环境逻辑中通过游戏进行辅助消除。BT-FSTTCS 2004：软件技术和理论计算机科学基础，第24届国际会议，印度钦奈，2004年12月16-18日，会议记录SP-211型EP-2232004年上半年//DO-2007年10月10日/978-3-540-30538-5_18UR-（欧元）https://doi.org/10.1007/978-3-540-30538-5_18UR-（欧元）https://www.wikidata.org/entity/Q58215677急诊室-