go top

logical framework

  • 逻辑框架

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

  逻辑框架

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

基于2044个网页-相关网页

短语

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

Logical Framework Meth-od 逻辑框架法

  • 逻辑框架 - 引用次数: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

双语例句权威例句

  • "We're trying to talk about not just the universe but perhaps other universes - but all within a logical framework that allows us to make some definitive statements," he says.

    我们尝试着探讨我们的宇宙和其他可能的宇宙。但是我们的讨论是在逻辑框架下进行的,因此可以得出一些确定的结论。

    youdao

  • Logic is the soul of debate. To analyse the concept of the topic of debate and to form an uncontradicted logical framework are the foremost work of both sides of debate.

    辩论的灵魂是逻辑,对辩题的概念作出分析和构造一个无矛盾的逻辑框架是辩论双方的出发点。

    youdao

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

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

    youdao

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

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

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