海爾勃朗定理 的英文怎麼說
中文拼音 [hǎiěrbólǎngdìnglǐ]
海爾勃朗定理
英文
herbrand theorem- 爾 : [書面語]Ⅰ代詞1 （你） you 2 （如此; 這樣） like that; so 3 （那;這） that Ⅱ[形容詞后綴: 率爾而對 ...
- 朗 : Ⅰ形容詞1. （光線充足; 明亮） light; bright 2. （聲音清晰響亮） clear and loud Ⅱ名詞（姓氏） a surname
- 定 : Ⅰ形容詞1 （平靜; 穩定） calm; stable 2 （已經確定的; 不改變的） fixed; settled; established Ⅱ動詞...
- 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
- 海爾 : al hayr
-
A member of the herbrand base is called atom in automatic theorem proving
在自動定理證明中，海爾勃朗基的成員也稱為原子。
分享友人