理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- severity of sampling
- severity of the consequences of the accident
- Severnaya Zemlya
- Severn River
- Severo Ochoa
- Severo-Zapadnyy Federal’nyy Okrug
- severs drought during 1928～1929
- severs drought in Chongzhen period of Ming Dynasty
- severs drought in Wanli period of Ming Dynasty
- Sevilla
- Seville
- sevoflurane
- SEW
- sewage
- sewage and waste water sampling
- sewage chroma
- sewage depth processing
- sewage disinfection
- sewage flow rate monitoring
- sewage fungi
- sewage intercepting device
- sewage irrigation
- sewage irrigation and health
- sewage land treatment system
- sewage lifting pump control system