Monadic first-order logic的意思|示意
美 / /
英 / /
一元一阶逻辑
Monadic first-order logic的网络常见释义
一元谓词演算 ... typed first-order logic 一阶 Monadic first-order logic 一元谓词演算 Semigroups underlying first-order logic 一阶逻辑之下的半群 ...