提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-JOUR公司ID-DBLP:日志/jar/EchenimGP20AU-埃切宁，姆纳乔非盟吉他，埃尔维非盟-佩尔蒂埃，尼古拉斯TI-在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。JO-J.汽车。原因。VL-64IS-4标准SP-737型EP-7652020年上半年//DO-10.1007/S10817-019-09528-WUR-（欧元）https://doi.org/10.1007/s10817-019-09528-w急诊室-