?高阶逻辑
... 高级语言 high order language,HOL 高阶逻辑 high order logic 高阶合并 high order merge ...
计 高阶逻辑
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。