基本解釋[計] 期柯倫同根派生 Skolem相關(guān)詞英漢例句Skolem theorem 斯科倫定理Skolem function Skolem函數(shù), 斯柯倫函數(shù)Skolem normal form 斯克勒姆標準形Skolem standard form 斯柯倫范式Skolem更多例句