go top

higher-order predicate logic

网络释义专业释义

  [数] 高阶谓词逻辑

... higher-order partial derivative 高阶偏导数 higher-order predicate logic 高阶谓词逻辑 highest common divisor 最高公约式 ...

基于1个网页-相关网页

  • 高阶谓词逻辑

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

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

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

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