In Acta Mathematica Sinica, Chinese Series 数学学报(中文版)30.6:838–846. ... “Cumulative Default Logic: Finite Characterization, Algorithms and Complexity.
確定! 回上一頁