resulting deduction
·2,447,543篇论文数据，部分数据来源于NoteExpress
本系统应用了逐级上溯和标准化子树的概念，综合应用演绎法和合成法进行建树推理。
The system applies the conception of continuously tracing and standard sub-tree, and uses both synthesis and deduction method of FT building.
youdao
应用推荐
模块上移
模块下移
不移动