中文:
公理语义学
英文翻译:
【计】
axiomatic semantics
中文:同步语义学英文翻译:【计】semantics of synchronization...
中文:功能的语义学英文翻译:【计】functional semantics...
中文:函数调用语义学英文翻译:【计】function call semantics...
中文:关系语义学英文翻译:【计】relational semantics...
中文:公理语义学方法英文翻译:【计】axiomatic semantics approach...