... satisfiable set of formulas 可满足公式组 satisfying 满足 Sato - Bernshtein polynomial 佐藤-伯恩斯坦多项式 Sato conjecture 佐藤猜想 saturated 饱和的, ...
確定! 回上一頁