1) automatic-displayed graph
自动推图
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.
在此基础上 ,又提出基于模糊状态描述的新型不确定因果归纳自动推理机制 ,并讨论其在智能控制器研制中的应用。
5) Promote autonomy
自主推动
补充资料：图的减缩图(或称图子式)
图的减缩图(或称图子式)
minor of a graph
图的减缩图(或称图子式)【.皿以ofa脚户;MHHoPrpa中a」【补注】设G是一个图(graph)(可以有环及多重边).G的一个减缩图(nullor)是从G中接连进行下述运算而得的任何一个图: i)删去一条边; 五)收缩一条边; 说)去掉一个孤立顶点. NRobe由on与P.D.Se脚aour的图减缩定理(脚Ph nl的。r theon习11)如下所述:已知有限图的无穷序列G，，GZ，…，则存在指标i
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条