>

semantic logic notation

📖 中文释义

  1. [计] 语义逻辑表示法