Skolem function
Skolem function是什么意思、Skolem function怎么读
【计】 斯柯伦函数
Skolem function汉语翻译
【计】 斯柯伦函数