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