1.
Model Checking Based on Spatial Logic and CTL
基于空间逻辑和计算树逻辑的模型检测
2.
ORACLE (Oak Ridge Automatic Computer andLogical Engine)
橡树岭自动计算机和逻辑机
3.
XML query approach based on logic XML tree
一种基于树状逻辑式的XML查询方法
4.
IEEE 802.11i GTK update scheme based on improved Logical Key Hierarchy
基于逻辑密钥树的IEEE802.11i GTK更新方案
5.
The Logic of Sustainability in Ikezawa Natsuki’s Ecofiction;
池泽夏树生态小说中的可持续性发展逻辑(英文)
6.
Logic and Independent Thinking;
“逻辑学”与“独立思考”——俊杰、小弟、豹死、金花、树叶
7.
A Golden Mango Growing in the Apple Tree--A Preface to Wisdom Logic of Wang Xing
苹果树上结的一颗金芒果——王兴先生《智慧逻辑》序
8.
The Research and Realization of an Simulation Logical Decision Tree Model
一种仿真决策逻辑树模型的研究与实现
9.
logical consistency
逻辑兼容，逻辑一致性
10.
the quality of being consistent with or based on logic.
基于逻辑或与逻辑相符。
11.
logic of understanding and logic of reason
知性逻辑与理性逻辑
12.
objective logic and subjective logic
客观逻辑与主观逻辑
13.
logical OR-AND-OR
逻辑“或－与－或”
14.
Of, relating to, in accordance with, or of the nature of logic.
逻辑的逻辑的、与逻辑有关的、符合逻辑的或具有逻辑性的
15.
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
16.
Logical reduction can speed up fault tree analysis effectively.
对故障树进行逻辑简化将有效提高分析计算的速度。
17.
The algorithm used to create this loop free logical topology is the spanning-tree algorithm.
用来建立没有?圈的逻辑拓扑之演算法通常称为扩充树演算法。
18.
Modeling Research of Logical Cutting Tree on Condition That Fuzzy Reliability of Net Environment Is Considered;
应用逻辑割树模型求解模糊可靠条件下的网络最大流问题研究