10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, ... of C ⊑ D given κ w.r.t. K is BsK (C⊑ D|κ):= infP∈ModME(K) PrP(C⊑ D|κ).
確定! 回上一頁