axiomatic semantics
axiomatic semantics是什么意思、axiomatic semantics怎么读
【计】 公理语义学
axiomatic semantics汉语翻译
【计】 公理语义学