提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:日记账/entcs/BozzanoBCFHKPS06澳大利亚-波扎诺，马尔科澳大利亚-布鲁托梅索，罗伯托AU-亚历山德罗·西马蒂AU-弗朗森，安德斯澳大利亚-哈纳，齐亚德AU-Khasidashvili，苏拉布澳大利亚-阿米特·帕尔蒂澳大利亚-塞巴斯蒂亚尼，罗伯托TI-MathSAT的编码RTL构造：初步报告。BT-第三届自动推理决策程序语用研讨会论文集，CAV的PDPAR2005年7月12日，英国爱丁堡SP-3EP-142005年上半年//DO-2016年10月10日/J.ENTCS.2005.12.001UR-（欧元）https://doi.org/10.1016/j.entcs.2005.12.001UR-（欧元）https://www.wikidata.org/entity/Q62041351急诊室-