提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:期刊/tocl/Khaniki22AU-哈尼基，埃尔凡关于多项式演算上分辨率的证明复杂性。JO-ACM事务处理。计算。日志。第23页IS-3标准SP-16:1EP-16:242022年上半年//DO-10.1145/3506702UR-（欧元）https://doi.org/10.1145/3506702UR-（欧元）https://www.wikidata.org/entity/Q113771685急诊室-