加林查网西语词典

extended first order logic

E 开头单词

基本解释

  • [计算机科学技术]广义一阶逻辑

专业释义

    计算机科学技术

  • 广义一阶逻辑