A member of the Herbrand base is called atom in automatic theorem proving.

 
  • 在自動(dòng)定理證明中,海爾勃朗基的成員也稱(chēng)為原子。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan