提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日志/corr/CodaraDMM13澳大利亚-科达拉，皮埃特罗AU-D’Antona，Ottavio M。AU-弗朗西斯科·马里戈AU-科拉多蒙蒂使简单的证明更简单。JO-CoRR公司VL-abs/1307.13482013年上半年//UR-（欧元）http://arxiv.org/abs/1307.1348急诊室-