{“状态”:“确定”,“消息类型”:“工作”,“信息版本”:“1.0.0”,“邮件”:{“索引”:{“日期部分”:[[2024,9,5]],“日期时间”:“2024-09-05T22:12:28Z”,“时间戳”:1725574348192},“出版商位置”:“柏林,海德堡”,“参考计数”:0,“出版者”:“施普林格-柏林-海德堡“,”isbn-type“:[{”类型“:“打印”,“值”:“9783540 212607“},{”类型“:”电子“,“value”:“9783540247388”}],“license”:[{“start”:{“date-parts”:[[2004,1,1]],“date-time”:“2004-01T00:00:00Z”,“timestamp”:1072915200000},“content-version”:“tdm”,“delay-in-days”:0,“URL”:“http://www.springer.com\/tdm”}]container-title“:[],”published-print“:{”date-parts“:[[2004]]},“DOI”:“10.1007\/b96498”,“type”:“book”,“created”:{“date-parts”:[[2011,1,7]],“date-time”:“2011-01-07T13:22:23Z”,“timestamp”:1294406543000},“source”:”Crossref“,”is-referenced-by-count“:9,”title“:[”Numerical Software with Result Verification“],”prefix“10.1007”,“member”:“297”,“container-title”:[”Computer Science中的讲义“],“original-标题“:[],“language”:“en”,“link”:[{“URL”:“http://\/link.springer.com/content\/pdf\/10007\/b96498.pdf”,“content-type”:“application\/pdf”,“content-version”:“vor”,“intended-application”:“text-mining”},{“URL”:“http:\\/link.stringer.com\/content\/pdf\/10007\/b96498”,“内容类型”:“unspecified”,“content-version”:“vor”,“预期应用”:“相似性检查”}],“存放”:{“日期-部分”:[[2019,5,19]],“日期-时间”:“2019-05-19T23:26:29Z”,“时间戳”:15583083000},“分数”:1,“资源”:{“主资源”:}“URL”:“http://\link.sprimary.com\/10007\/b96498”},”副标题“[”国际达格斯图尔研讨会,德国达格斯图城堡,2003年1月19日至24日。修订论文“],”编辑“:[{”给定“:”Ren\u00e9“,”家族“:”Alt“,”sequence“:”first“,”affiliation“:[]},{”给出“:”Andreas“,”family“:”Frommer“,”序列“:”additional“,”abfiliation”:[]neneneep,{“给定”:“R.Baker”,“家族”:“Kearfott”,“sequence”:“additional”,“affiliance”:[]},}“给定的”:“Wolfram”,“家庭”:“Luther”,“序列”:“附加”,“从属关系”:[]}],“shorttitle“:[],”issued“:{”date-parts“:[[2004]]},”ISBN“:[”9783540212607“,”978354247388“],”references-count“:0,”URL“:”http://\/dx.doi.org\/10007\/b96498“,”relation“:{},“ISSN”:[”0302-9743“,”1611-3349“],“ISSN-type”:[{“type”:“print”,“value”:“0302-974”},{“类型”:“电子”,“值”:“1611-3349”}],“主题”:[],“发布”:{“日期部分”:[[2004]]}}