请输入您要查询的单词:

 

单词 Horn clause
释义

Horn clause

English

Etymology

After the logician Alfred Horn.

Noun

Horn clause (plural Horn clauses)

  1. (logic) A clause (disjunction of literals) with at most one positive literal.
随便看

 

国际大辞典收录了7408809条英语、德语、日语等多语种在线翻译词条,基本涵盖了全部常用单词及词组的翻译及用法,是外语学习的有利工具。

 

Copyright © 2004-2023 idict.net All Rights Reserved
京ICP备2021023879号 更新时间:2024/10/4 1:00:41