理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- quantum system identification
- quantum teleportation
- quantum teleportation experiment of Earth Star
- quantum theory
- quantum theory of laser
- quantum thermalization
- quantum thermodynamics
- quantum tomography
- quantum trace distance
- quantum transition
- quantum transition state theory
- quantum transport
- quantum Trojan Horse
- quantum trojan horse
- quantum trojanhorse
- quantum tunnel effect
- quantum tunneling
- quantum tunneling effect
- quantum tunnelling
- quantum Turing machine
- quantum universe
- quantum walk
- quantum wave packet method
- quantum weakest liberal precondition
- quantum weakest precondition