semantic logic notation
semantic logic notation是什么意思、semantic logic notation怎么读
【计】 语义逻辑表示法
semantic logic notation汉语翻译
【计】 语义逻辑表示法