最終更新日:2025/11/26
編集履歴(0)
元となった辞書の項目

Horn clauses

名詞
活用形 複数形
日本語の意味
『Horn clauses』は『Horn clause』の複数形です。つまり、『Horn clause』の複数形として使用される活用形を示しています。
このボタンはなに?

ホーン節は計算効率の高さから論理プログラミングや自動定理証明で広く用いられている。

意味(1)

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★