2) 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;
自动推理与教育软件智能平台
3) 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.
在此基础上 ,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制 ,并讨论其在智能控制器研制中的应用。
4) automatic-displayed graph
自动推图
5) Promote autonomy
自主推动
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条