higher-order predicate logic
词典收录
美式发音
英式发音
单词级别
高级
英文单词: | higher-order predicate logic |
---|---|
中文翻译: | [数] 高阶谓词逻辑 |