理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- two-photon coherent state
- two-photon detuning
- two-photon emission
- two-photon excitation microscopy
- two photon excited atomic fluorescence
- two-photon excited atomic fluorescence
- two-photon fluorescence
- two photon fluorescence microscope
- two-photon fluorescence microscope
- two-photon fluorescent probe
- two-photon Hong-Ou-Mandel interferometer
- two-photon interference
- two photon laser
- two-photon laser
- two-photon microscopic imaging
- two-photon polymerization laser direct writing
- two-photon process
- two photon resonance
- two-photon resonance
- two photon Young's double slit interference
- two-photon Young's double slit interference
- two pixie stone guardians of Zong Zi’s tomb
- two-place
- two-place number
- two-place operation