1.
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
形式演绎系统L~*的运算与弱演绎定理
2.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
3.
fact in rule-based dedution system
规则演绎系统中的事实
4.
Trellis of Chain-styled Deductive Dynamic Tracking for the Geologic Convulsion
地质灾变链式演绎动态跟踪系统功能格构
5.
control strategy for rule-based deduction system
基于规则演绎系统的控制策略
6.
goal in rule-based deduction system
基于规则演绎系统中的目标
7.
DEDUCTIVE DATABASE SYSTEM WITH MULTI-QUERY-LANGUAGE
支持多种查询语言的演绎数据库系统
8.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
9.
Illation of Tradition and Modern:The Chinese Style Expression of Modern Interior Design
传统与现代的演绎——现代室内设计的中式表情
10.
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System
格值命题逻辑系统中基于滤子的MP归结演绎
11.
reason by deduction; establish by deduction.
通过演绎的方式推理；通过演绎来确定一件事。
12.
Annotation with fresh ideas on personae and issues in a worldwide field of culture and art.
以更具设计感的形式来演绎世界文化、术等领域的新闻人物与事件。
13.
Formal Rules Vs Mental Models in Reasoning: A Comparative Study of the Two Theories;
形式规则还是心理模型——演绎推理过程中两种判断标准的比较研究
14.
The Evolution of Spirit and From--The Cultural Background of Liangping New Year Woodcut in Chongqing
精神与形式的嬗变演绎——重庆梁平木版年画的文化背景
15.
Setting up the Teaching Mode of "Framework-Context-Deduction"--Reforming the Traditional Method in Teaching Tour Guide Practice
构建“模块—情境—演绎”教学模式——改革《导游业务》课程的传统教学方法
16.
Modern Interpretation of Traditional Elements:Regional Expression of Interior Design In New Techno-Era
传统元素的现代演绎——论新技术背景下室内设计的地域性表达方式
17.
Just who wins the mobile operating system wars is a battle still to be played out.
谁能赢得移动电话操作系统之战是一场仍将演绎下去的战斗。
18.
Newly Search for the Property of the Fuzzy Deduction Theorem of the System L～* and the R_0 Algebra;
L～*系统中的模糊演绎定理与R_0代数性质的新探索