理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- recovery and treatment of mining geo-environment
- recovery capability
- recovery characteristic
- recovery creep
- Recovery From an Illness
- recovery from the failure
- recovery of enforcement
- recovery of gas reservoir
- recovery of natual gas liquids with ammonia compression refrigeration process
- recovery of natural gas liquids
- recovery of natural gas liquids expansion and cryogen refrigeration process
- recovery of natural gas liquids with ammonia absorb refrigeration process
- recovery of natural gas liquids with expansion refrigeration process
- recovery of natural gas liquids with gas wave refrigeration process
- recovery of natural gas liquids with propane refrigeration process
- recovery of natural gas liquids with thermal separator refrigeration process
- recovery of nonferrous scrap metal
- recovery of soil productivity
- recovery of uranium from seawater
- recovery of waste heat
- recovery package
- recovery period of national economy
- Recovery Program of Hebert Hoover
- recovery ratio of water fee
- recovery self-efficacy