最終更新日：2024/08/07
(logic) A method, algorithm or program that converts logic statements into standard clauses.
正解を見る
clausifier
編集履歴（0）
(logic) A method, algorithm or program that converts logic statements into standard clauses.
clausifier
DiQt（ディクト）
無料
★★★★★★★★★★
