{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,1,7]]，“日期时间”：“2023-01-07T08:49:07Z”，“时间戳”：1673081347578}，“出版商位置”：“查姆”，“参考计数”：12，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319630458”，“类型”：”打印“}，{“值”：“9783319630465”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2017,1,1]]，“date-time”：“2017-01-01T00:00:00Z”，“timestamp”：14832288000000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]“：[]，”published-print“：{”date-parts“：[2017年]]}，“DOI”：“10.1007\/978-3-319-63046-5_33”，“type”：“book-chapter”，“created”：{“date-parts”：[[2017,7,10]]，“date-time”：“2017-07-10T13:34:07Z”，“timestamp”：1499693647000}，“page”：”546-562“，”source“：”Crossref“，”is-referenced-by-count“：4，”title“：[”金融二项式定价模型：Isabelle中的形式化“]，”前缀“：”10.1 007“，”作者“：[{”给定“：“Mnacho”，“family”：“Echenim”，“sequence”：“first”，“affidentiation”：[]}，{“given”：“Nicolas”，“家族”：“Peltier”，“serquence”:“additional”，“abfidential”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2017,7,11]]}首页“：”637“，”doi“：”10.1086\/260062“，”卷“：”81“，”作者“：“F Black”，“year”：“1973”，“unstructured”：“Black，F.，Scholes，M.：期权定价和公司负债。《政治经济学杂志》81（3），637\u2013654（1973）”，“新闻标题”：“政治经济学杂志”}，{“key”：“33_CR2”，“series-title”：“计算机科学讲义（人工智能讲义）”，《doi-asserted-by》：“publisher”，“first page”：“107”，“DOI”：“10.1007\/978-3642-14203-1_9”，“volume-title”：“自动推理”，“author”：“SB\u00f6hme”，“year”：“2010”，“unstructured”：“B\u00f 6hme，S.，Nipkow，T.：大锤：判断日。In:Giesl，J.，H\u00e4hnle，R.（eds.）IJCAR 2010。LNCS（LNAI），第6173卷，第107\u2013121页。施普林格，海德堡（2010）。doi:\n10.1007\/978-3-642-14203-1_9“}，{“issue”：“3”，“key”：“33_CR3”，”doi-asserted-by“：”crossref“，”first page“：”229“，”doi“：”10.1016\/0304-405X（79）90015-1“，”volume“：“7”，“author”：“JC-Cox”，“year”：“1979”，“unstructured”：“Cox，J.C.，Ross，S.A.，Rubinstein，M.：期权定价：简化方法。J.Financ。《经济学》7（3），229\u2013263（1979）“，”新闻标题“：”J.Financ。经济。“}，{”key“：”33_CR4“，”series-title“：”The Wadsworth&Brooks \/Cole Statistics\/Probability series“，”volume-title“：“Probability:Theory and Examples”，”author“：”R Durrett“，”year“：”1991“，”unstructured“：”Durrets，R.：“概率：理论和示例。The Wadsworks&Brooks\/Cole Statistics\ Probabillity series。WadsworthInc.，Duxbury Press，Belmont（1991）“｝，｛”key“：”33_CR5“，”非结构化“：”H\u00f6lzl，J.：高阶逻辑中测度空间的构造和随机应用。博士论文，德国理工大学信息学院，2012年10月”｝，｛”key“：”33_CR6“，”doi断言“：”publisher“，”非结构化“：”H\u00f6lzl，J.：Isabelle HOL中的马尔可夫链和马尔可夫决策过程。J.汽车。原因。，2013年1月43日（2016年）。doi:\n10.1007，“doi”：“10.1007”，{“key”：“33_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”203“，”doi“：”10.1007 \/978-3319-22102-1_13“，”volume-title“：”交互式定理证明“，”author“：”J H\u00f6lzl“，”year“：”2015“，“非结构化”：“H\u00f6lzl，J.，Lochbihler，A.，Traytel，D.：概率系统类型的形式化层次结构。收录：Urban，C.，Zhang，X.（编辑）ITP 2015。LNCS，第9236卷，第203\u2013220页。查姆施普林格（2015）。doi:\n10.1007，978-3-319-22102-1_13“}，{“key”：“33_CR8”，“volume-title”：“期权、期货和其他衍生品”，“author”：“J Hull”，“year”：“2009”，“unstructured”：“Hull，J.：期权、期货及其他衍生品。Pearson，Prentice Hall，Upper Saddle River \/3003143“，”卷：“4”，“作者”：“R Merton”，“年份”：“1973年”，“非结构化”：“Merton，R：理性期权定价理论。贝尔J.经济学。管理。科学。4，141\u2013183（1973）“，“新闻标题”：“Bell J.Econ。管理。科学。“}，{”key“：”33_CR10“，”doi-asserted-by“：”crossref“，”doi“：”10.1007\/3-540-45949-9“，“volume-title”：“Isabelle\/HOL:高阶逻辑的证明助手”，“author”：“T Nipkow”，“year”：“2002”，“unstructured”：“Nipkow，T.，Wenzel，M.，Paulson，L.C.：Isabelle \/HOL：高阶逻辑证明助手。Springer，Heidelberg（2002）”}，}“key：“33_CR11”series-title“：“Springer Finance”，“volume-title”：“金融随机演算I：二项式资产定价模型”，“author”：“SE Shreve”，“year”：“2003”，“unstructured”：“Shreve，S.E.：金融随机演算法I：二项式资产定价模式。施普林格金融。Springer，New York（2003）“}，{”key“：”33_CR12“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“41”，”doi“：”10.1007\/11542384_8“，”volume-title“：“The Oventeen Provers of The World”，“author”：“M Wenzel”，“year”：“2006”，“unstructured”：“Wenzell，M.，Paulson，L.：Isabelle \/Isar.in:Wiedijk，F.（编辑）世界十七个探险家。LNCS，第3600卷，第41\u201349页。斯普林格，海德堡（2006）。doi:\n10.1007\/11542384_8“}]，“container-title”：[“自动演绎\u2013 CADE 26”，“计算机科学课堂笔记”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63046-5_33”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}，“存放”：{“date-parts“：[[2017,7,10]]，”date-time“：”2017-07-10T13:43:54Z“，”timestamp“：1499694234000}，”score“：1，”resource“：{“primary”：{”URL“：”http://\\link.springer.com\/10.1007\/978-3-319-63046-5_33“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-part”：[2017]]}，《ISBN》：[“9783319630458”“，”9783319630465“]，”references-count“：12，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-319-63046-5_33“，”关系“：{}，”ISSN“：[”0302-9743“，“1611-3349”]，”ISSN-type“：[{”value“：“0302-974”，“type”：“print”}，{”value“：“1611-33049”，“类型”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2017]]}}}}