1.
There are five steps to analyses the protocol: ① Idealize the protocol in the language of the formal logic.
BAN逻辑分析分为5个步骤:①协议理想化。
2.
BASED ON BAN LOGIC ANALYSIS OTWAY-REES PROCOTOL;
基于BAN逻辑分析Otway-Rees协议
3.
The Meaning of "Logic" in Discourse Analysis and Logic Science;
篇章分析与逻辑学中“逻辑”含义的比较
4.
96 channel logic analyzer
96频道逻辑分析仪
5.
the logical analysis of mathematical reasoning.
数学推理的逻辑分析。
6.
Research and Analysis of Probability Logic Based on Universal Logics;
基于泛逻辑学的概率命题逻辑的研究与分析
7.
Logical Forms of English and Logical Analysis in Translation from English into Chinese;
英语的逻辑形式和英译汉时的逻辑分析
8.
The branch of logic dealing with analysis.
分析学逻辑学关于分析的一个分支
9.
Fuzzy Classification Approaches Based on AFS Fuzzy Logic;
基于AFS模糊逻辑的分类分析方法研究
10.
The Boosting-based BAN Combination Classifier
基于Boosting的BAN组合分类器
11.
Based on Programmable Logical Device Logical Analyzer Essential Technology Research;
基于可编程逻辑器件的逻辑分析仪关键技术的研究
12.
Discussion on logical method for correct case analysis--On the way of thinking of the unification of historical and logical methods;
正确分析案情的逻辑方法——谈历史和逻辑相统一的思维方法
13.
From “Non-capital Logic” to “Capital Logic”--Why the Reorganization of Japan’s Business Groups;
由“非资本逻辑”向“资本逻辑”的转变——日本企业集团重组原因分析
14.
A Change in the Function of Formal Logic: A Political Analysis of the Frankfurt School to Formal logic;
形式逻辑功能的转向──法兰克福学派对形式逻辑的政治学分析
15.
The Theory of Logical Model
基于逻辑关系的数学模型—逻辑模型的理论与分析
16.
The structures of complicated systems can be given a complete and consistent logical analysis and expression only by dialectical logic.
只有辩证逻辑 ,才能对复杂系统的结构作出协调而完备的逻辑分析和逻辑表达。
17.
A Study of Leibniz’s Philosophy of Logic from Concept, Definition and Proposition;
哲学的逻辑表达与逻辑的哲学分析——从概念、定义与命题理论看莱布尼兹的逻辑哲学观
18.
A Mathematical Analysis on Theory of Logic and Logos Objects--on the Developing Trend of Modern Philosophical Logic;
对形式逻辑和内容逻辑之对象论的数理分析——兼论现代哲学逻辑的发展趋势