herbrand base 中文意思是什麼

herbrand base 解釋
海爾勃朗基
  • herbrand : 海伯倫
  • base : n 1 基底，基，根基，底座；底層，底子；（紀念碑等的）基址；（山）麓。2 【軍事】基地，根據地。3 根...
  1. A member of the herbrand base is called atom in automatic theorem proving

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

分享到臉書