1.
Automated Reasoning Based on Tableaux;
基于tableau的自动推理研究
2.
The Study of Automated Resolution Reasoning Based on Model of Petri Net;
基于Petri网模型的归结自动推理研究
3.
Research on Technologies of Semantic Web Based Automatic Reasoning;
基于语义Web的自动推理技术研究
4.
The Research on Several Issues of Automated Reasoning and Artificial Intelligent Planning;
自动推理和智能规划中若干问题研究
5.
Study on Automated Reasoning Theory and Method Based on Neurol Network
基于神经网络的自动推理理论及方法的研究
6.
Research on Automatic Reasoning Techniques of Semantic Web in the Context of Ontology Knowledge Systems;
语义Web中基于本体知识库系统的自动推理研究
7.
The Research on ICAI of Programming with Function of Automatic Reasoning;
带有自动推理功能的程序设计ICAI系统研究
8.
Research on Interaction Technology Based on Automated Geometry Reasoning
基于几何自动推理的智能交互技术研究
9.
Autodetect proxy settings (recommended)
自动检测代理服务器设置（推荐）
10.
HAZOP Automatic Reasoning Based on the LDG Model for HAZOP Analysis;
基于LDG模型的HAZOP自动化推理
11.
Video Semantic Annotated Automatically Based on Bayesian Inference;
基于贝叶斯推理的视频语义自动标注
12.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
13.
The Technical Research of Emergent Event's Auto-process Based on Rule Reasoning
基于规则推理的应急事件自动处理技术研究
14.
self propelled bulldozer and angledozer
自动推进的推土机和斜铲推土机
15.
On the Pushing Force of Tourism Towards the Developing of Economy of Dali Bai Narionality Autonomous Prefecture
论旅游对大理白族自治州经济增长的推动作用
16.
Fuzzy Cognitive Maps for Decision Support in Automatic Intrusion Response Mechanism
基于模糊认知图的自动入侵响应决策推理机制
17.
Automatic Case Acquisition in Case-Based System Using Data Mining
范例推理中范例自动获取的数据挖掘技术
18.
Research of CBR-based Reasoning Framework for Automating HAZOP Analysis;
基于案例推理的HAZOP分析自动化框架的研究