提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学参考书目内容：文本/纯文本；charset=“utf-8”TY-非正式或其他出版物ID-DBLP:日记账/corr/abs-1807-09873非盟-埃切尼姆，姆纳乔非盟吉他，埃尔维非盟-佩尔蒂埃，尼古拉斯TI-在Isabelle/HOL中正式确定欧洲衍生品的Cox-Ross-Rubinstein定价。JO-CoRR公司VL-abs/1807.098732018年上半年//UR-（欧元）http://arxiv.org/abs/1807.09873急诊室-