go top

logical framework

  • 逻辑框架

网络释义专业释义英英释义

  逻辑框架

...gistics, logical framework, intelligent transportation, electronic commerce [gap=301]关键词 物联网,智能物流,逻辑框架,智能运输,电子商务 ...

基于2044个网页-相关网页

  辑框架

...max 决策树 多对象程式演算法,如:AHP 计分卡 计分卡 计分卡 计分卡 逻辑框架辑框架辑框架辑框架 (Logical Framework)?

基于12个网页-相关网页

短语

Logical Framework Approach 逻辑框架法 ; 逻辑框架 ; 方法 ; 了逻辑框架法

Logical Framework Meth-od 逻辑框架法

Logical Framework Approaeh 逻辑框架法

  • 逻辑框架 - 引用次数:6

    参考来源 - 自然之思

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

Logical framework

  • abstract: In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for (interactive) automated theorem proving.

以上来源于: WordNet

双语例句权威例句

  • The creative period of blazing new trails is also restricted by the logical framework.

    创新创造期同样逻辑框架制约

    youdao

  • An approach to multi-action commitments of choice in KARO logical framework is presented.

    研究KARO逻辑框架多动作选择承诺给出与其相关的效用函数计算方法。

    youdao

  • Logical framework models to define the structuring of method libraries, plug-ins, and method content packages prior to implementation in RMC.

    方法封装方法内容、过程插件配置。

    youdao

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

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

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