Chinese translation for "skolem函数"

skolem normal form

Related Translations:

skolem:  期柯伦

skolem范式:  skolem normal form

skolem悖论:  skolem's paradox

skolem function:  斯柯伦函数

skolem standard form:  斯柯伦范式

skolem normal form:  skolem范式skolem函数斯科伦范式

Example Sentences:

1.

In this paper , a sufficient and necessary condition is given to judge whether skolem functions can be eliminated from the extracted procedure or not , and the extracting method is shown 本文给出了是否能抽取出无skolem函数的程序的充分必要条件，同时给出了抽取算法。

Similar Words：

"skolem" Chinese translation, "skolem function" Chinese translation, "skolem normal form" Chinese translation, "skolem standard form" Chinese translation, "skolem范式" Chinese translation, "skolem悖论" Chinese translation, "skolfield" Chinese translation, "skolfman" Chinese translation, "skolik" Chinese translation, "skolil" Chinese translation