axiomatic semantics approach

【计】 公理语义学方法
英汉词典
相关词语