理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- group complexity
- group composition of crude oil
- group conflict
- group consciousness
- group consistency
- group control
- group control of elevator
- group convolution
- group correction
- group counseling
- group cultivars
- group cycle
- group dance
- group dances
- group decision
- group decision deviation
- group decision making
- group decision-making
- group decision-making mechanism
- group decision support system
- group decision support system, GDSS
- Group de Contadora
- group delay
- group delay effect
- group delay response