开心英文字典

general resolution principle tree

G 开头单词

基本解释

  • [计算机科学技术]广义归结证明树

专业释义

    计算机科学技术

  • 广义归结证明树