1.
Medium Logic Calculus System MP N and MF N;
中介逻辑演算系统MP~N及MF~N
2.
The third part illustratesaction iogic calculus created by von Wright.
第三部分阐述了冯-赖特建立的行动逻辑演算。
3.
On Inversion and Non-calculation of Four Basic Types of Logical Inference
对逻辑推理四大基础类型的反演算和非演算
4.
A Study on the Non-Opposite Negative Mathematical Calculations of the Philosophical Logic about Judgment;
哲学逻辑对判断的非反否定演算研究
5.
Uniting Calculation Equivalence Description to the Traditional Lexical Logic;
联合演算对传统词项逻辑的等价描述
6.
deductive [inductive] logic
演绎 [归纳] 逻辑
7.
To perform the operation of negation.
实现逻辑“非”运算。
8.
3.1.6 Logical operators
3.1.6 逻辑运算符
9.
Studies on Process Modeling Based on Logic Situation Calculus for Virtual Enterprises;
基于逻辑情景演算的虚拟企业过程建模研究
10.
Government Budget Management System:Way of Development and Future Reform
政府预算管理制度演进逻辑与未来改革
11.
The arithmetic logic unit (ALU), which performs arithmetic and logical operations.
算术逻辑单元，用来进行算术逻辑运算。
12.
The algorithm used to create this loop free logical topology is the spanning-tree algorithm.
用来建立没有?圈的逻辑拓扑之演算法通常称为扩充树演算法。
13.
The logical operation which makes use of the AND operator or logical product.
使用AND运算符或逻辑乘积的逻辑运算。
14.
calculator with arithmetic logic
带有算术逻辑的计算器
15.
arithmetic logic of pocket calculator
袖珍计算机的算术逻辑
16.
On the Mathematical Logic Operation "→" and BCK Operation "*;
关于逻辑运算“→”和BCK运算“*”
17.
Proposition relativity and logic calculation in probabilistic logic;
概率逻辑中的命题相关性与逻辑运算
18.
A Model Checking Algorithm for Predicate Mu Calculus and Spatial Logic
基于谓词μ演算和空间逻辑的模型检测算法研究