绍翊字体网有道词典

predicate m-calculus

P 开头单词

基本解释

  • [计算机科学技术]谓词m演算

专业释义

    计算机科学技术

  • 谓词m演算