SOTA
(logic) An algorithm for checking the validity of a first-order logic formula using a resolution-based decision procedure for propositional logic.
Initialism of state of the art.
plural of chromophil
plural of hetdar
自然言語理解の最先端は進化し続けている。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
