clausifier
/K L AO1 S AH0 F AY1 ER0/noun
- 1
(logic) A method, algorithm or program that converts logic statements into standard clauses.
Translate “clausifier” into another language
Choose a language below to open the translator with English selected as the source language.