herbrand 中文意思是什麼
herbrand
解釋
海伯倫-
A member of the herbrand base is called atom in automatic theorem proving
在自動定理證明中，海爾勃朗基的成員也稱為原子。
分享友人