1.
The Study of Automated Resolution Reasoning Based on Model of Petri Net;
基于Petri网模型的归结自动推理研究
2.
Research on Automated Reasoning of Lattice-valued Logic Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统的归结自动推理研究
3.
Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究
4.
The Study of Reasoning Method Based on α-Resolution Principle in Lattice-valued Propositional Logic LP(X);
格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究
5.
Self-Responsibility Attribution and Judgment:Mental Framework and Character
自我责任归因与推断的心理结构与特征
6.
Research on the Technique of Recursive Query over XML Data Stream Based on Pushdown Automation
基于下推自动机的XML数据流递归查询处理技术研究
7.
Prolog Language:The Resolution Refutation Machine with Searching Strategy;
Prolog语言—搜索策略的归结反演推理机
8.
Automated Reasoning Based on Tableaux;
基于tableau的自动推理研究
9.
The Relations between the Categorization and Diversity Principle of Inductive Reasoning;
分类活动与归纳推理多样性效应的关系
10.
Study on the Diversity and Inductive Reasoning in Securities Market;
多样性和归纳推理与证券市场动力机制
11.
fixed-weight autoregression extrapolation
固定加权自回归外推
12.
excavator ,with a 360 degree revolving superstruture self-propelled
挖掘机,带3600旋转加强结构,自动推进式
13.
"It has been revised several times and now includes capabilities for handling structured data, dynamic data allocation, recursions (procedures that call themselves), and other features. "
经过多次修改,目前也有管理结构化数据、动态数据配置、递归(过程调用自身)等等功能。
14.
A" daruma" is a toy that, being weighed on the bottom, rights itself if you tip it over.
不倒翁是一种底重头轻的玩具﹐以你把它推倒还能自动归正。
15.
A "daruma" is a toy that, being weighed on the bottom, rights itself if you tip it over.
不倒翁是一种底重头轻的玩具?所以你把它推倒还能自动归正。
16.
Sliding Mode Backstepping Control of Induction Motor Based on Self-recurrent Wavelet Neural Networks
基于自回归小波神经网络的感应电动机滑模反推控制
17.
Induction is often used for any inference whose premises do not entail its c onclusions.
归纳这个词常被用来指任何前提并不导出其结论的推理。
18.
Multidimensional Structural Regression Model for Causal Inference under Strongly Ignorable Treatment Assignment;
强可忽略处理分配下因果推断的多维结构回归模型