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