semantic logic notation的意思|示意
美 / siˈmæntik ˈlɔdʒik nəuˈteiʃən /
英 / sɪˈmæntɪk ˈlɑdʒɪk noˈteʃən /
[计] 语义逻辑表示法