{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,3,30]]，“日期时间”：“2022-03-30T18:00:41Z”，“时间戳”：1648663241268}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540255963”，“类型”：“打印”}，{“值”：“9783540320333”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2005]]｝，“DOI”：“10.1007\/978-3-540-32033-3_9”，“type”：“book chapter”，“created”：｛“date parts”：[[2010,9,28]，“date time”：“2010-09-28T00:20:02Z”，“timestamp”：1285633202000｝，“page”：“105-11-119英寸，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“置换理论类的统一”]，“prefix”：“10.1007”，”author“：[{”given“：”Thierry“，”family“：”Boy de la Tour“，”sequence“：”first“，”affiliation“：[]}，{”Givent“：”Mnacho“，“键”：“9_CR1”，“doi-asserted-by”：“publisher”，“first page”：“223”，“doi”：“10.1023\/A:100643952242”，“volume”：”26“，“author”：“J.Avenhaus”，“year”：“2001”，“unstructured”：“Avenhaus，J.，Plaisted，D.：等式推理中置换的通用算法。自动推理杂志\u00a026，223\u2013268（2001）”，“期刊标题”：“自动推理杂志”}，{“key”：“9_CR2”，“series-title”：“人工智能课堂讲稿”，“doi-asserted-by”：“publisher”，“first-page”：“415”，“doi”：“10.1007\/978-3-540-25984-8_31”，“volume-title”：《自动推理》，“author”：“J.Avenhaus”，“year”：“2004”，“unstructured”：“Avenhaus，J.：计算模置换理论的有效算法。In：Basin，D.，Rusinovitch，M.（eds.）IJCAR 2004。LNCS（LNAI），第u00a03097卷，第415\u2013429页。Springer，Heidelberg（2004）“}，{“key”：“9_CR3”，“doi-asserted-by”：“crossref”，“doi”：“10.1017\/CBO9781139172752”，“volume-title”：“Term Rewriting and All That”，“author”：“F.Baader”，“year”：“1998”，“unstructured”：“Baader，F.，Nipkow，T.：Term Reworting and All That。剑桥大学出版社，剑桥（1998）”}，“{”key“：”9_CR4”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“315”，“doi”：“10.1007\/978-3-540-39813-4_23”，“volume-title”：“编程、人工智能和推理的逻辑”，“author”：“T.Boy de la Tour”，《年份》：“2003”，“unstructured”：“Boy de la Tour，T.，Echenim，M.：分层条件下演绎问题的NP-完全性结果。In：Y.Vardi，M.，Voronkov，A.（编辑）LPAR 2003。LNCS，第u00a02850卷，第315\u2013329页。Springer，Heidelberg（2003）“}，{”key“：”9_CR5“，”doi-asserted-by“：”crossref“，”unstructured“：”de la Tour，T.B.，Echenim，M.：关于演绎模叶置换方程的复杂性。发表在《自动推理杂志》（2004）“，”doi“：”10.1007\/978-3-540-25984-8_32“}”，{“key”：“9_CR6”，“series-title”：“”人工智能课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：”430“，“doi”：“10.1007\/978-3-540-25984-8_32”，“volume-title”：“自动推理”，“author”：“T.B.Tour de la”，“year”：“2004”，“unstructured”：“de la Tour，T.B.，Echenim，M.：重叠叶置换方程。收录：Basin，D.，Rusinovitch，M.（编辑）IJCAR 2004。LNCS（LNAI），卷\u00a03097，第430\u2013444页。Springer，Heidelberg（2004）“}，{“key”：“9_CR7”，“volume title”：“计算机与难处理性：NP-完备性理论指南”，“author”：“M.Garey”，“year”：“1979”，“nonstructured”：“Garey，M.，Johnson，D.S.：计算机与难处理性：NP-完备性理论指南。Freeman，San Francisco（1979）“}]，“container title”：[”计算机科学课堂讲稿”，“术语重写与应用”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-540-32033-9.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}，“deposed”：{“date-parts”：[2020,11,19]]，“date-time”：2020-11-19T04:34:02Z“，”timestamp“：1605760442000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-540-32033-9”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2005]]}，《ISBN》：[“9783540255963”，“978354320333”]，“references-count”：7，“URL”“：”http://\/dx.doi.org\/10.1007\/978-3-540-32033-3_9“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{“value”：“0302-974”，“type”：”print“}，{“value”：“1611-3399”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2005]]}}}