{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T22:27:58Z”，“时间戳”：1649024878083}，“发布者位置”：“查姆”，“引用计数”：0，“发布商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030930998”，“类型”：”打印“}，{“值”：“9783030931001”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com\/tdm”}，{“开始”：{“date-ports”：[2022,1,1]，“日期-时间”：“2042-01-01T 00:00Z”，“timestamp”：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[2022]}，”DOI“：”10.1007\/978-3030-93100-1“，”type“：”book“，”created“：”{“date-part”：[2021,12,15]]，“date-time”：“2021-12-15T23:02:26Z”，“时间戳”：1639609346000}，“源”：“Crossref”，“is-referenced-by-count”：0，“title”：[“计算机科学的逻辑基础”]，“prefix”：“10.1007”，”member“：“297”，”container-title“：[“电脑科学讲义”]，”original-title”：[]，“link”：[{“URL”：“https:\/\/link.springer.com\/content\/pdf\/10007\/978-3030-93100-1.pdf”，《内容类型》：“application\/pdf”、“content-version”：“vor”，“intended-application”：“text-mining”}，{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-030-93100-1”，“content-type”：“unspecified”，“content-version”：“vor”，“intinded-applection”：”相似性检查“}]，“deposed”：{“date-parts”：[2021,12,27]]，“date-time”：”2021-12-27T00:02:46Z“，“timestamp”：1640563366000}，“score”：1，“资源”：｛“primary”：｛“URL”：“https:\/\/link.springer.com\/10.1007\/978-3-030-93100-1”｝，“副标题”：[“国际研讨会，LFCS 2022，美国佛罗里达州迪尔菲尔德海滩，2013年1月10日，2022年13月13日，会议记录”]，“编辑”：[｛“ORCID”：“http:\/\/ORCID.org/0000-0002-5605-6172”，“认证的ORCID”：false，“给定”：“Sergei”，“家族”：“Artemov”，“序列”：“第一”，“affiliation”：[]}，{“given”：“Anil”，“family”：“Nerode”，“sequence”：“additional”，“affaliation”:[]}]，“short title”：[]，“issued”：{“date-parts”：[2022]}，“ISBN”：[“9783030930998”，“9783003093101”]，“references-count”：0，“URL”：“http://\/dx.doi.org\/10007\/978-3030-93100-1”，“relation”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”，“type”：“print”}，{“value”：”1611-3349“，”type“：”electronic“}]，“subject”：[]，“published”：{“date-parts”：[[2022]]}}}