形式语义

[xíng shì yǔ yì]

• formal semantics

参考释义

形式语义

• -