理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- flame spectrum
- flame spraying
- flame spraying technology
- flame stability
- flame stability limits
- flame stabilization mode
- flame stabilizer
- flame stagnation
- flame temperature
- flame test
- flame test manikin
- flame thrower
- flame vortex interaction
- flame-wavering method
- flame width of laminar jet flame
- flaming
- Flaming Brothers
- flaming combustion
- flaming fire
- flaming Katy
- Flaming Star Nebula
- flammability
- flammability limit
- flammable aerosols
- flammable and explosive place