{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,27]]，“日期时间”：“2024-04-27T22:48:29Z”，“时间戳”：1714258109021}，“出版商位置”：“柏林，海德堡”，“参考计数”：19，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783540774419”，“类型”：“打印”}，{“值”：“9783540774426”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”DOI“：”10.1007\/978-3-540-77442-6_8“，”type“：”book-capter“，”created“：{”date-parts“：[[2007,12,19]]，”date-time“：”2007-12-19T04:35:03Z“，”timestamp“：1198038903000}，”page“100-”115“，”源“：”Crossref“，”is-referenced-by-count“：2，“title”：[“Unification of Arrays in Spreadsheets with Logic Programming”]，“prefix”：“10.1007”，“author”：[｛“given”：“Philip T.”，“family”：“Cox”，“sequence”：“first”，“affiliation”：[]｝，｛“given”：“Patrick”，“family”：“Nicholson”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“297”，“reference”：[｛“key”：“8_CR1”，“doi asserted by”：“crossref”，“unstructured”：“Abraham，R.，Erwig，M.：从电子表格推断模板。摘自：第28届ACM国际软件工程会议，中国上海，第182\u2013191页（2006年5月）”，“DOI”：“10.1145\/1134285.1134312”}，{“key”：“8_CR2”，“unstructured”：“Bricklin，D.，Frankston，R.：VisiCalc：创建者提供的信息（2007年7月），http://www.bricklin.com/visicalc.htm“}，{“问题”：“2”，“密钥”：“8_CR3”，“doi-asserted-by”：“crossref”，“首页”：“155”，”doi“：“10.1017\/S0956796800003828”，“卷”：“11”，“作者”：“M.Burnett”，“年份”：“2001”，“非结构化”：“Burnett，M.、Atwood，J.、Djang，R.、Gottfried，H.、Reichwein，J.和Yang，S.：表格\/3:探索电子表格范式边界的一阶视觉语言。《函数编程杂志》（Journal of Functional Programming）\u00a011（2），155\u2013206（2001）“，“Journal-title”：“函数编程杂志”}，{“key”：“8_CR4”，“unstructured”：“Cervesato，I.：日常符号推理电子表格。收录于：弗吉尼亚州阿灵顿市AAAI秋季推理与日常应用集成研讨会，第1\u20138页（2006年10月）”}、{“key”：《8_CR5》，“第一页“：”263“，”volume-title“：”Proc。AFIPS秋季联合计算机会议”，“作者”：“D.D.张伯伦”，“年份”：“1971年”，“非结构化”：“张伯伦，D.D.：并行处理的单一赋值方法。In：程序。AFIPS秋季联合计算机会议，内华达州拉斯维加斯，第263\u2013270页。AFIPS Press，Montvale，N.J（1971）“｝，｛”key“：”8_CR6“，”doi asserted by“：”crossref“，”非结构化“：”Cox，P.T.：用逻辑编程增强电子表格的可编程性。In：Proc.IEEE Symposium on Visual Languages and Human Centric Computing，Coeur d\u2019Al\u00e8ne ID（将于2007年出现）“，”doi“：”10.1109\/VLCC.2007.49“｝，｛”issue“：”3“，”key“：”8_CR7“，”doi-asserted-by“：”publisher“，”first page“：”293“，”doi“：”10.1017\/S09567968050794“，”volume“：“16”，”author“：”M.Erwig“，”year“：”2006“，”unstructured“：”Erwig，M.，Abraham，R.，Cooperstein，I.，Kollmansberger，S.：Gencel:正确电子表格的程序生成器。《函数编程杂志》\u00a016（3），293\u2013325（2006）“，“Journal-title”：“函数编程杂志”}，{“key”：“8_CR8”，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：”173“，“doi”：“10.1007\/3-540-45587-6_12”，“volume-title“声明语言的实用方面”，“作者”：“M.Erwig”，“年份”：“2002年”，“非结构化”：“Erwig，M.，Burnett，M.：添加苹果和橙子。收录：Krishnamurthi，S.，Ramakrishnan，C.R.（编辑）PADL 2002。LNCS，卷\u00a02257，第173\u2013191页。Springer，Heidelberg（2002）“}，{”key“：”8_CR9“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“82”，”doi“：”10.1007\/BFb0014974“，”volume-title“：“TAPSOFT\u201987国际软件开发理论与实践联合会议论文集，意大利比萨，1987年3月23日至27日。”，“作者”：“Z。Farkas“，”year“：”1987“，”unstructured“：”Farkas，Z.：LISTLOG-列表处理的序言扩展。收录于：Ehrig，H.、Levi，G.、Montanari，U.（编辑）TAPSOFT 1987和CFLP 1987。LNCS，第u00a0250卷，第82\u201395页。Springer，Heidelberg（1987）“}，{”key“：”8_CR10“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“308”，”doi“：”10.1007 \/3-540-46584-7_21“，”volume-title“：“声明语言的实用方面”，”author“：”G.Gupta“，”year“：”2000“，”unstructured“：”Gupta，G.，Akhter，S.：知识表：交互式开发一类约束程序的图形电子表格界面。收录：Pontelli，E.，Santos Costa，V.（编辑）PADL 2000。LNCS，第u00a01753卷，第308\u2013323页。Springer，Heidelberg（2000）“}，{“key”：“8_CR11”，“unstructured”：“Paine，J.：Excelsior:将模块化的好处带给Excel。In:Proc.EuSpRIG 2005，Greenwich UK（2005年7月）”}，}，“issue”：“29”，“key“：”8_CR12“，”first page“：“647”，“volume”：”17“author”：“R.Panko”，“year”：“2006”，“非结构化”：“Panko，R.R.：电子表格和萨班斯-奥克斯利法案：法规、风险和控制框架。信息系统协会通信\u00a017（29），647\u2013676（2006）“，“journal-title”：“信息系统协会的通信”}，{“key”：“8_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Peyton Jones，S.，Blackwell，A.，Burnett，M.：以用户为中心的Excel函数方法。摘自：第八届ACM SIGPLAN函数编程国际会议，瑞典乌普萨拉，pp.165\u2013176（2003年8月）。Ramakrishnan，“年份”：“2006年”，“非结构化”：“Ramakrishnan，C.R.，Ramakrichnan，I.V.，Warren，D.S.：使用表逻辑编程的演绎电子表格。收录：Etalle，S.，Truszczy\u0144ski，M.（编辑）ICLP 2006。LNCS，第u00a04079卷，第391\u2013405页。Springer，Heidelberg（2006）“}，{“问题”：“1-2”，“关键”：“8_CR15”，“doi-asserted-by”：“出版商”，“首页”：“3”，“doi”：“10.1016\/j.jvlc.2004.07.001”，“卷”：“16”，“作者”：“j.R.Ruthruff”，“年份”：“2005”，“非结构化”：“Ruthruff，J.R.、Prabhakarrao，S.、Reichwein，J.、Cook，C.、Creswic，E.、Burnett，M.：为最终用户程序员提供交互式、可视化故障定位支持。视觉语言与计算杂志\u00a016（1-2），3\u201340（2005）“，”Journal-title“：”Journal of Visual Languages&Computing“}，{“key”：“8_CR16”，“doi-asserted-by”：“crossref”，“unstructured”：“Spenke，M.，Beilken，C.：逻辑编程的电子表格接口。摘自：美国计算机学会计算机系统人为因素会议，德克萨斯州奥斯汀，pp.75\u201380（1991）“，”DOI“：”10.1145\/67450.67466“}，{“key”：“8_CR17”，“unstructured”：“瑞典计算机科学研究所，SICStus Prolog，http://www.sics.se\/SICStus\/”}，”key“：”8_CR18“，”unstructure“：”van Emden，M.H.，Ohki，M.，Takeuchi，A.：作为逻辑编程用户界面的增量查询电子表格，ICOT技术报告，TR-44（1985年10月）“}，{“key”：“8_CR19”，“unstructured”：“Wilson，S.：构建可视化编程语言，MacTech 13（4）（2007年7月），http://www.mactech.com/articles\/mactech\/Vol.13\/13.04\/Peadsheet2000\/“}]，“container-title”：[“声明性语言的实用方面”，“计算机科学课堂笔记”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77442-6_8.pdf”，“content-type”：“unspecified”，“content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2020,11,24]]，”date-time“：”2020-11-24T02:09:57Z“，”timestamp“：1606183797000}，”score“：1，”resource“：{primary”：{“URL”：“http://\link.springer.com/10.1007\/978-3-540-77442-6_8”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[null]]}，“ISBN”：[“9783540774419“，”9783540774426“]，”引用次数“：19，”URL“：”http:\/\/dx.doi.org/10.1007\/978-3-540-77442-6_8“，”关系“：｛｝，”主题“：[]｝｝