1) automated reasoning tool (ART)
自动推理工具
2) tool,automated reasoning (ART)
自动化推论工具
4) Automated Reasoning
自动推理
1.
Expression Reasoning in Automated Reasoning;
平面几何中复杂表达式的自动推理
2.
Interactive system of mathematical Web services based on AJAX and automated reasoning technologies;
基于AJAX和自动推理技术构建交互式数学Web服务
3.
Automated Reasoning and Intelligent Platform for Education Software;
自动推理与教育软件智能平台
5) automatic reasoning
自动推理
1.
The Research on ICAI of Programming with Function of Automatic Reasoning;
带有自动推理功能的程序设计ICAI系统研究
2.
Logic meaning of kinship relations and kindred automatic reasoning
亲属关系的逻辑意义及其自动推理
3.
On this basis,the new logic indeterminate causal inductive automatic reasoning mechanism which is based on fuzzy state describing is brought forward.
在此基础上 ,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制 ,并讨论其在智能控制器研制中的应用。
6) seeing reason tool
可视化推理工具
补充资料：演绎推理(见推理)
演绎推理(见推理)
deductive inference
住理。yanyl tullj演绎推理(deduetive infer。二ee)见
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条