离散数学外文—中文名词对照表外文中文Abelcategory Abel group (commutative group) ... inference推理规则Russell paradox satisfiable可满足的saturated 饱和的scope ...
確定! 回上一頁