代数语义学

[dài shù yǔ yì xué]

• algebraic semantics

参考释义

代数语义学

• -