higher order predicate calculus
单词 | higher order predicate calculus |
---|---|
什么意思 | 【计】 高阶谓词演算 |
以上内容是 higher order predicate calculus 的中文翻译,希望对您有帮助。
相关翻译
推荐翻译
单词 | higher order predicate calculus |
---|---|
什么意思 | 【计】 高阶谓词演算 |
以上内容是 higher order predicate calculus 的中文翻译,希望对您有帮助。
相关翻译