{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,12,28]]，“日期时间”：“2022-12-28T21:49:28Z”，“时间戳”：1672264168052}，“出版商位置”：“柏林，海德堡”，“参考计数”：7，“出版者”：“斯普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540525318”，“类型”：“打印”}，{“值”：“9783540470144”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[1990,1]]，“date-time”：“1990-01-01T00:00:00Z”，“timestamp”：631152000000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]mark-restriction“：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[1990]]}，“DOI”：“10.1007\/3-540-52531-9_140”，“type”：“book-chapter”，“created”：{“date-ports”：[[2012,2,25]]，“date-time”：“2012-02-25T21:35:51Z”，“timestamp”：1330205751000}，”page“：195-204”，“update-policy”：”http://\/dx.DOI.org\/10007\/springer_crossmark_policy“，”source“：”Crossref“，”is-referenced-by-count“：4，”title“：[“在实际设置中协调符号和数字计算”]，“前缀”：“10.1007”，“作者”：[{“给定”：“M.C.”，“家族”：“杜瓦”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“M.G.”，”家族“：”理查森“，”序列“：”附加“，”从属关系“：[]]]，“成员”：“297”，“在线发布”：{“日期段”：[2005,6,5]]}“键”：“23_CR1”，“非结构化”：“ANSI.Fortran 8x.技术报告X3J3/S8.112，美国国家标准协会，1989年6月。”}，{“key”：“23_CR2”，“unstructured”：“[Bradford et al.1986]R.J.Bradfort，A.C.Hearn，J.A.Padget，and E.Schr \u00fcfer。扩大计算的REDUCE域。SYMSAC'86的Proc.，第100\u2013106页，1986。”，“非结构化”：“Michael C.Dewar.IRENA\u2014集成符号和数值计算环境。ISSAC 1989年会议记录，第171\u2013179页。ACM，1989年。“}，{”key“：”23_CR4“，”unstructured“：”[Galway等人，1987年]W.Galway.，M.L.Griss，B.Morrison，B.Othmer.《PSL 3.4用户手册》，犹他大学，1987年。NAG Fortran图书馆手册\u2014 Mark 13，1988。“}，{“key”：“23_CR7”，“unstructured”：“[van Hulzen et al.1989]J.A.van Hulten，B.J.A.Hulshof，B.L.Gates，and M.C.van Heerwaarden。REDUCE的代码优化包。《1989年国际标准化协会学报》，第163\u2013170页。ACM，1989.“}”，“container-title”：[“符号计算系统的设计与实现”，“计算机科学课堂讲稿”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/3-540-52531-9_140”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{date-parts“：[[2019,5,19]]，”date-time“：”2019-05-19T12:34:16Z“，”timestamp“：1558269256000}，”score“：1，”resource“：{主要”：{“URL”：“http://\/link.springer.com\/10.1007\/3-540-52531-9_140”}}，“副标题”：[]，“短标题”：[]，“已发布”:{“date-part”：[1990]]}，《ISBN》：[“9783540525318”，“9783540470144”]，“references-count”：7，“URL”：“http:\/\/dx.doi.org/10.1007\/3-540-52531-9_140”，“关系”：｛｝，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN类型”：[｛“value”：“0302-9743”，“type”：“print”｝，｛“value”：“1611-3349”，“type”：“electronic”｝]，“subject”：[]，“published”：｛“date parts”：[[1990]]｝，“assertion”：[｛“value”：“2005年6月5日”，“order”：1，“name”：“first_online”，“label”：“first online”，“group”：｛“name”：“章节历史“，”标签“：”章节历史“}}]}}