go top

automated reasoning

  • [计] 自动推理

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

  [计] 自动推理

自动推理Automated reasoning)作为计算系统按照不雅察看到的证据做出新推论的一种能力,已经引起了很多研究团体的存眷。

基于2425个网页-相关网页

 

... 㨑 编程逻辑与验证(program logic and verification) 自动推理(automated reasoning) 编译器(compilers) ...

基于1个网页-相关网页

 

... 僚 编程逻辑与验证(program logic and verification) 自动推理(automated reasoning) 编译器(compilers) ...

基于1个网页-相关网页

短语

automated reasoning tool 自动化推论工具

Automated Reasoning and Verification 自动推理和验证

Journal of Automated Reasoning 编委 ; 自动推理杂志

association for automated reasoning 协会为自动化推理

automated reasoning algorithm 自动推理算法

resolution automated reasoning 归结自动推理

Distributed automated reasoning 分布式自动推理

ART automated reasoning tools 自动推理工具ART

Automated Modeling and Reasoning 自动建模和推理

 更多收起网络短语

双语例句

  • Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.

    子句可满足性判定自动证明领域的热点之一

    youdao

  • This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

    给出相干命题逻辑自然推理系统NR自动证明算法

    youdao

  • Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledge base maintenance and mod...

    根据导出公理,应用自动推理技术进行知识库维护修改有效性检查

    youdao

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

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

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