反驳树
in the refutation tree of predicate calculus , the proved conjunctive formula.
在谓词演算的反驳树中,被证明的合式公式。
英语网 · 初中英语作文
英语网 · 双语娱乐资讯
英语网 · 少儿英语故事
英语网 · 高考英语
英语网 · 英语词汇