... 㨑 编程逻辑与验证(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 自动建模和推理
We often encounter the problems of solvability of equations on lattice implication algebra in the process of researching on uncertainty reasoning and automated reasoning.
在对不确定性推理和自动推理进行研究的过程中往往会遇到格蕴涵代数中方程的可解性问题。
参考来源 - 关于格蕴涵代数方程的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
以上来源于: WordNet
Deciding satisfiability of clause set is one of the active research topics in the automated reasoning field.
子句集的可满足性判定是自动证明领域的热点之一。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
Engineers have yet to solve fundamental problems involving robotic perception and world modeling, automated reasoning, manipulation of objects and locomotion.
工程师还有很多根本的问题尚未解决，包括机器人的知觉、如何建立周遭环境的模型、自动推理、物品操作和行进方式等。
应用推荐