{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,5]]，“日期时间”：“2024-09-05T19:38:19Z”，“时间戳”：1725565099753}，“出版商位置”：“柏林，海德堡”，“参考计数”：9，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”540223450“}，{”类型“：”电子“，“value”：“9783540259848”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[2004]]}，”DOI“：”10.1007\/978-3-540-25984-8_32“，”type“：”book-chipter“，”created“：{”date-ports“：[2010,9,10]]，”date-time“：”2010-09-10T22:31:38Z“，”时间戳“：1284157898000}，”页面“：”430-444“，”源“：“Crossref”，“is-referenced-by-count”：3，“title”：[“重叠叶置换方程”]，“prefix”：“10.1007”，”author“：[{“given”：“Thierry Boy”，“family”：“de la Tour”，《sequence》：“first”，“affiliation”：[]}，{“given”:“Mnacho”，‘family’：“Echenim”，“sequence”：“additional”，“abliance”：[]}]，“member”：“297”，“reference”：[{“key”：”32_C R1“，”doi-asserted-by“：“publisher”，“first page”：“223”，“DOI”：“10.1023\/A:1006439522342”，“volume”：“26”，“author”：“J.Avenhaus”，“year”：“2001”，“nonstructured”：“Avenhaus，J.，Plaisted，D.：等式推理中排列的一般算法。自动推理期刊\u00a0262223\u2013268（2001）”，“期刊标题”：“自动推理期刊”}，｛“key”：“32_CR2”，“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”：“32_CR3”，“非结构化”：“Babai，L.：自同构群，同构，重构。摘自：Graham，R.L.，Grotschel，M.，Lovasz，L.（eds.）《组合数学手册》，第\u00a02卷，Elsevier and The MIT Press（1995）”}，{“key”：“32_CR4”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“crossref”，“first page”：”141“，“doi”：“10.1007\/3-540-17945-3_8”，“volume-title”：“PARLE Parallel Architectures and Languages Europe”，“author”：“H.P.Barendregt”，“year”：“1987”，“unstructured”：“Barendreg，H.P.，van Eekelen，M.C.J.D.，Glauert，J.R.W.，Kennaway，J.R.，Plasmeijer，M.J.J.，Sleep，M.R.：术语图重写。In:de Bakker，J.W.，Nijman，A.J.，Trelevan，P.C.（eds.）PARLE 1987。LNCS，卷\u00a0259，第141\u2013158页。Springer，Heidelberg（1987）“}，{“key”：“32_CR5”，“unstructured”：“Boy de la Tour，T.，Echenim，M.：关于演绎模叶置换方程的复杂性。发表在《自动推理杂志》（Journal of Automated Reasoning）上”}，“{”key“：“32-CR6”，“series-title”：“理论计算机科学中的电子笔记”，“volume-title”：《FTP 2003》，“author”：“T.Boy de la Tour”，“年份”：“2003年”，“非结构化”：“Boy de la Tour，T.，Echenim，M.：关于叶置换理论和发生置换群。In：Dahn，I.，Vigneron，L.（编辑）FTP 2003。理论计算机科学电子笔记，vol.\u00a086，Elsevier，Amsterdam（2003）“}，{”key“：”32_CR7“，”series-title“：”计算机科学课堂笔记“，”doi-asserted-by“：”publisher“，”first page“：“315”，“doi”：“10.1007\/978-3540-39813-4_23”，“volume-title”：“用于编程、人工智能和推理的逻辑”，“author”：“T。Boy de la Tour”，“年份”：“2003年”，“非结构化”：“Boy de la Tour，T.，Echenim，M.：分层条件下演绎问题的NP-完备性结果。收录：Y.Vardi，M.，Voronkov，A.（编辑）LPAR 2003。LNCS，第u00a02850卷，第315\u2013329页。Springer，Heidelberg（2003）“}，{”key“：”32_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/3-540-54955-2“，”volume-title“：“置换群的基本算法”，”author“：”G.Butler“，”year“：”1991“，”unstructured“：”Butler，G.：置换群的基本算法。LNCS，卷\u00a0559。Springer，Heidelberg（1991）“}，{”key“：”32_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/3-540-11493-9“，“volume-title”：“群理论算法和图同构”，“author”：“C.Hoffmann”，“year”：“1982”，“unstructured”：“Hoffmann，C.：群论算法与图同构。LNCS，卷\u00a0136。Springer，Heidelberg（1982）“}”，“container-title”：[“计算机科学课堂讲稿”，“自动推理”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.Springer.com/content\/pdf\/10.1007\/978-3-540-25984-8_32”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{日期部分”：[[2019,3,20]，“日期-时间”：“2019-03-20T05:37:47Z”，“时间戳”：1553060267000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“http:\/\/link.springer.com\/10.1007\/978-3-540-25984-8_32”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：[[2004]]｝，“国际标准图书编号”：[“9783540223450”，“9783540259848”]，“引用计数“：9，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-540-25984-8_32“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”类型“：”打印“，”值“：”0302-7743“}，{”型号“：”电子“，”数值“：”1611-33049“}]，”主题“：[]，”发布“：{”日期部分“：[2004]]}}}}