higher order logic的意思|示意

美 / / 英 / /

高阶逻辑


higher order logic的网络常见释义

高阶逻辑 高阶逻辑(higher order logic)是在一阶命题演算逻辑基础上扩展形成的,已开发的 HOL 定理证明器支持高阶逻辑的定理证明。

较高阶逻辑 ... 较高级语言 higher order language 较高阶逻辑 higher order logic 较高阶宏 higher order macro ...

高阶逻辑英语 高阶逻辑英语 【计】 higher order logic; highor-order logic 高尔斯氏病英语 【医】 Gowers' discase; Gowers' disease .

higher order logic相关短语

1、 higher-order logic 高阶逻辑

2、 predicate logic of higher order 高阶谓词逻辑

3、 higher-order predicate logic 高阶谓词逻辑