Tseitin transformation
短语词形变化
the Tseitin transformation
释义与例句
name
-
1.
Alternative form of Tseytin transformation.
Alternative form of Tseytin transformation.