herbrand theorem 中文意思是什麼

herbrand theorem 解釋
海爾勃朗定理
  • herbrand : 海伯倫
  • theorem : n. 1. （能證明的）一般原理，公理，定律，法則。2. 【數學】定理。
  1. A member of the herbrand base is called atom in automatic theorem proving

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

分享到臉書