clausifier
词形变化
clausifiers
复数
释义与例句
n.
-
1.
A method, algorithm or program that converts logic statements into standard clauses.
数学 哲学