中英▼
go top

higher order logic

  • 高阶逻辑

网络释义专业释义

  [计] 高阶逻辑

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

基于220个网页-相关网页

  较高阶逻辑

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

基于12个网页-相关网页

短语

higher-order logic 高阶逻辑

predicate logic of higher order [数] 高阶谓词逻辑

higher-order predicate logic [数] 高阶谓词逻辑

higher order predicated logic 高阶谓词逻辑

 更多收起网络短语
  • 高阶逻辑 - 引用次数：4

    参考来源 - 用高阶逻辑表达时态逻辑及其应用 in C
    较高阶逻辑
  • 高阶逻辑
  • 高阶逻辑

·2,447,543篇论文数据，部分数据来源于NoteExpress

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定