{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,3]]，“日期时间”：“2022-04-03T06:56:28Z”，“时间戳”：1648968988075}，“出版商位置”：“柏林，海德堡”，“参考计数”：27，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642642494”，“类型：“print”}，{“value”：“9783642600852”，“type”：“electronic”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，“short-container-title”：[]，”published-print“：{”date-parts“：[[1999]]}，”DOI“：”10.1007\/978-3642-60085-2_11“，”type“：”book-capter“，”created“：{”date-ports“：[2011,9,8]]，”date-time“：”2011-09-08T11:03：26Z“，”时间戳“：1315479806000}，”页面“：”257-276“，“source”：“Crossref”，“is-referenced-by-count”：1，“title”：[“The Logic Programming Paradigm in Numerical Computation”]，“prefix”：“10.1007”，”author“：[{”given“：”Maarten H.“，”family“：”Emden“，“sequence”：“first”，“affiliance”：[]}]，“member”：“297”，“reference”：[{“issue”：“3”，“key”：”11_CR1“，第一页：”263“，”“volume“33”，“author”：“KR”Apt”，“年份”：“1998”，“非结构化”：“K.R.Apt.约束编程的证明理论观点。基础信息学，33（3）：263\u20132931998.”，“日记标题”：“基础信息学”}，{“key”：“11_CR2”，“doi-asserted-by”：“crossref”，“非结构”：“K.R.Apt。Prom混沌迭代以约束传播。《第24届国际自动化、语言和编程学术讨论会论文集》（ICALP\u201997），1997年。“，“DOI”：“10.1007\/3-540-63165-8_163”}，{“key”：“11_CR3”，“volume-title”：“Le manuel de Prolog IV。技术报告PrologIA，Parc Technologique de Luminy”，“author”：“F Benhamou”，“year”：“1996”，“unstructured”：“Fr\u00e9d\u00e9 Ric Benhamou、Pascal Bouvier、Alain Colmerauer、Henri Garetta、Bruno Giletta、Jean-Luc Massat、Guy Alain Narboni、St\u00e 9phane N\u2019Dong、Robert Pasero、Jean-Fran\u00e\u7ois Pique、Toura\u00efvane、Michel Van Caneghem、Eric V\u00e9tillard。Le manuel de Prolog IV.技术报告，PrologIA，Parc Tech-nologique de Luminy，法国马赛，1996年。“}，{键”：“11_CR4”，“doi-asserted-by”：“出版商”，“首页”：“1”，“doi”：“10.1016\/S0743-1066（96）00142-2”，“卷”：“32”，“作者”：“F Benhamou”，“年份”：“1997”，“非结构化”：“Fr\u00e9d\u00e9 ric Benhamoo，William J。年龄较大。将区间算术应用于实数、整数和布尔约束。《逻辑编程杂志》，32:1\u2013241997年。“，”Journal-title“：”Journal of Logic Programming“}，{”key“：”11_CR5“，”unstructured“：”BNR.BNR Prolog用户指南和参考手册。Macintosh 3.1版，1988年。“}”，{“key”：“11_CR6”，“volume-title”：“Th\u00e9orie des Ensembles（Fascicule de R\u00e 9sultats）”，“author”：“N Bourbaki”，“year”：“1939”，“”非结构化“：”N.Bourbaki。合奏曲分册。Hermann，1939.“｝，｛“key”：“11_CR7”，“首页”：“125”，“卷”：“2”，“作者”：“JG Cleary”，“年份”：“1987”，“非结构化”：“J.G.Cleary.逻辑算术。未来计算系统，2:125\u20131491987。”，“期刊标题”：“逻辑算术。未来计算系统”｝，｛“key”：“11_CR8”，“卷标题”：“Un syst\u00e8me de communication homme-machine en fran\u00e7ais“，“author”：“A Colmerauer”，“year”：“1972”，“unstructured”：“A.Colmeraure，H.Kanoui，R.Pas\u00e 9ro，P.Roussel。Un syst\u00e8me de communication homme-machine en fran\u00e7ais（通信系统）。技术报告，Groupe d\u2019Intelligence Artificielle，University\u00e9 d\u2029Aix-Marseille II，1972年使用标签约束传播。人工智能“}，{“key”：“11_CR10”，“volume-title”：“约束编程语言CHIP”，“author”：“M Dincbas”，“year”：“1988”，“unstructured”：“M.Dincba斯，P.Van Hentenryck，H.Simonis，A.Aggoun，T.Graf，F.Berthier。约束编程语言CHIP。第五代计算机系统国际会议，1988年。”}11_CR11“，“volume-title”：“逻辑数学入门”，“author”：“HB Enderton”，“year”：“1972”，“unstructured”：“H.B.Enderton。逻辑数学导论。Fletcher and Sons，Ltd，1972年。“}，{”key“：”11_CR12“，”doi-asserted-by“：”publisher“，”first page“：“931”，”doi“：”10.2307\/2318109“，”volume“：“”阿默尔。数学。月刊“}，{“key”：“11_CR13”，“volume-title”：“数学逻辑大纲：用所有细节解释的基本结果和概念。D.Reidel”，“author”：“A Grzegorczyk”，“year”：“1974”，“unstructured”：“Andrzej Grzegorchzyk。数学逻辑纲要：用所有详细信息解释的基本结论和概念。D.Reidel，1974。”11_CR14“，“volume-title”：“牛顿：非线性约束上的约束规划。《计算机编程科学》，“作者”：“P Hentenryck Van”，“年份”：“1996”，“非结构化”：“P Van Hentenryck，L.Michel，F.Benhamou。牛顿：非线性约束上的约束编程。计算机程序设计科学，1996年。“}，{”key“：”11_CR15“，”volume-title“：”Laurent Michel，Yves Deville“，”author“：”Pascal Van Hentenryck“，”year“：”1997“，”unstructured“：”Parcal Van Hentenry ck，Laurent Michael，Yves-Deville。Numerica:A Modeling Language for Global Optimization。麻省理工学院出版社，1997年。“。Ju，M.van Emden。使用IEEE浮点标准实现区间算术。正在准备中。“}，{”key“：”11_CR17“，”volume-title“：”The G\u00f6del Programming Language“，”author“：”P Hill“，”year“：”1994“，”unstructured“：”Patricia Hill and John Lloyd.The G\u 00f6Del Programmming Language.MIT Press，1994.“}”，{“key”：“11_CR18”，“doi-asserted-by”：“publisher”，“first page”：”503“，”doi“：”10.1016\/0743-1066（94）90033-7“，”卷“：”19\/20“，“作者”：“J Jaffar”，“年份”：“1994年”，“非结构化”：“Joxan Jaffar，Michael J.Maher。约束逻辑编程：一项调查。《逻辑编程杂志》，19\/20:503\u20135821994.“，”Journal-title“：”Journal of Logic Programming“}，{”key“：”11_CR19“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/978-3642-83189-8“，“volume-title”：“逻辑编程基础”，“author”：“JW Lloyd”，“year”：“1987”，“unstructured”：“JW Lloyd逻辑编程基础。Springer-Verlag，第二版，1987年。“，”edition“：”2“}，{”key“：”11_CR20“，”doi-asserted-by“：”publisher“，”first page“：“143”，“doi”：“10.1016\/0004-3702（91）90059-S”，”volume“：journal-title“：“人工智能”}，{“key”：“11_CR21”，“volume-title”：“摩尔”，“作者”：“E Ramon”，“年份”：“1966”，“非结构化”：“Ramon E.Moore.区间分析.普伦蒂斯·霍尔，1966.”}非结构化“：”D.Stott Parker。蒙特卡罗算法：改进浮点算法的有效方法。技术报告CSD-970002，加利福尼亚大学洛杉矶分校计算机科学系，1997年。“}，{”key“：”11_CR23“，”unstructured“：”Jean-Fran\u00e7ois Puget，Pascal Van Hentenryck。电路设计问题的约束满足方法。《全局优化杂志》，13（1），1998年。“第一页“：”211“，”DOI“：”10.1007\/978-1-4613-3440-8_9“，”volume-title“：”区间计算的应用“，”author“：”AL Semenov“，”year“：”1996“，”unstructured“：”Alexander L.Semenov。借助Unicalc解算器解决优化问题。R.Baker Kearfott，Vladik Kreinovich，编辑，《区间计算的应用》，第211\u2013224页。Kluwer Academic Publishers，1996.“}，{”key“：”11_CR25“，”volume-title“：”Shoenfield“，”author“：”R Joseph“，”year“：”1967“，”unstructured“：”Joseph R.Shoenfield.Mathematical Logic.Addison-Wesley，1967“}”，{“key”：“11_CR26”，“doi-asserted-by”：“publisher”，“first page”：”163“，”doi“：”10.1023\/A:1009705709733“，”卷“：”“2”，“author”：“MH”Emden van“，“年份”：“1997年”，“非结构化“：”M.H.van Emden。CLP方案中的价值约束。Constraints，2:163\u20131831997.”，“期刊标题”：“Constraints”}，｛“key”：“11_CR27”，“doi asserted by”：“publisher”，“首页”：“66”，“doi”：“10.1007\/BF01939551”，“卷”：“6”，“作者”：“A Wijngaarden van”，“年份”：“1966”，“非结构化”：“A.van Wijngaarden。作为一门独立科学的数值分析。BIT，6:66\u2013811966.”，“期刊标题”：“BIT”}]，“container-title“：[“The Logic Programming Paradigm”，“Artificial Intelligence”]，“original-title”：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3642-60085-2_11.pdf”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2020,11,24]]，“date-time”：2020-11-24T21:34:57Z“，”timestamp“：1606253697000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-60085-2_11”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[1999]]}，《ISBN》：[“9783642642494”，“978364 2600852”]，“references-count”：27，“URL”“：”http://\/dx.doi.org\/10.1007\/978-3642-60085-2_11“，”关系“：{}，“ISSN”：[“1431-0066”]，“ISSN-type”：[{“value”：“1431-0046”，“type”:“print”}]，“subject”：【】，“published”：{“date-parts”：【1999】】}}