海爾勃朗基 的英文怎麼說

中文拼音 [hǎiěrbólǎngjī]
海爾勃朗基 英文
herbrand base
  • 爾 : [書面語]Ⅰ代詞1 （你） you 2 （如此; 這樣） like that; so 3 （那;這） that Ⅱ[形容詞后綴: 率爾而對 ...
  • 朗 : Ⅰ形容詞1. （光線充足; 明亮） light; bright 2. （聲音清晰響亮） clear and loud Ⅱ名詞（姓氏） a surname
  • 海爾 : al hayr
  • 朗基 : langki
  1. A member of the herbrand base is called atom in automatic theorem proving

    在自動定理證明中，海爾勃朗基的成員也稱為原子。
分享友人
分享到 Line

分享到臉書