英语词汇higher order logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	higher order logic
释义	higher order logic 简明释义高阶逻辑网络释义 1 [计]?高阶逻辑高阶逻辑(higher order logic)是在一阶命题演算逻辑基础上扩展形成的,已开发的 HOL 定理证明器支持高阶逻辑的定理证明。 2 ?较高阶逻辑 ... 较高级语言 higher order language 较高阶逻辑 higher order logic 较高阶宏 higher order macro ... 短语 1 higher-order logic 高阶逻辑 2 predicate logic of higher order 数高阶谓词逻辑 3 higher-order predicate logic 数高阶谓词逻辑
随便看	cell-mediated cytotoxicity reaction cell mediated cytotoxicity reaction cell-mediated defective cell mediated delayed type allergic reaction cell-mediated delayed type allergic reaction cell mediated event cell mediated function cell-mediated hypersensitivity cell mediated hypersensitivity Cell-mediated immune reaction Cell mediated immune reaction cell-mediated immune response cell mediated immune response cell - mediated immune response cell-mediated immune responses cellmediated immunity cell-mediated immunity cell mediated immunity cell - mediated immunity cell mediated immunity(CMI) cell-mediated immunity (cmi) cellmediated immunity deficiency syndrome cell mediated immunity deficiency syndrome cell mediated interaction cell mediated lymphocytolysis

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。