. . . . . “Mnacho Echenim和Nicolas Peltier：金融二项式定价模型：Isabelle的形式化（2017）”。 . _：ID_541fe96d26dd4465ad8ff894a1051f66。_：ID_541fe96d26dd4465ad8ff894a1051f66 ._：ID_541fe96d26dd4465ad8ff894a1051f66 ._：ID_541fe96d26dd4465ad8ff894a1051f66 ._：ID_541fe96d26dd4465ad8ff894a1051f66“conf/cade/EchenimP17”。 _：ID_70231c3ebd8e41e2fb77733765c1abbf。_：ID_70231c3ebd8e41e2fb77733765c1abbf ._：ID_70231c3ebd8e41e2fb77733765c1abbf ._：ID_70231c3ebd8e41e2fb77733765c1abbf ._：ID_70231c3ebd8e41e2fb77733765c1abbf"10.1007/978-3-319-63046-5_33" . 《金融二项式定价模型：伊莎贝尔的形式化》。 . . . . . "2"^^. _：Sig_70eaba11c9a067a9ca5ac93943c842aa_1。_：Sig_70eaba11c9a067a9ca5ac93943c842aa_1 ._：Sig_70eaba11c9a067a9ca5ac93943c842aa_1 ._：Sig_70eaba11c9a067a9ca5ac93943c842aa_1“Mnacho Echenim”。_：Sig_70eaba11c9a067a9ca5ac93943c842aa_1 ._：信号_70eaba11c9a067a9ca5ac93943c842aa_1"1"^^._：Sig_70eaba11c9a067a9ca5ac93943c842aa_1 . _：Sig_70eaba11c9a067a9ca5ac93943c842aa_2。_：Sig_70eaba11c9a067a9ca5ac93943c842aa_2 ._：Sig_70eaba11c9a067a9ca5ac93943c842aa_2 ._：Sig_70eaba11c9a067a9ca5ac93943c842aa_2“尼古拉斯·佩尔蒂埃”。_：Sig_70eaba11c9a067a9ca5ac93943c842aa_2 ._：Sig_70eaba11c9a067a9ca5ac93943c842aa_2"2"^^._：Sig_70eaba11c9a067a9ca5ac93943c842aa_2 . . . . . "546-562" . “CADE”。 “CADE”。 "2017"^^. "2017"^^. . “dblp记录'conf/cade/EchenimP17'的RDF数据的起源信息”。 . . . “2017-07-12T10:22:36+0200”。