找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 说明语义学
《形式语义学基础与形式说明》是2010年科学出版社出版的图书，作者是屈延文。本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。 — 拼音 shuō míng yǔ yì xué，更新 2026-07-10 11:27:42
| 拼音 | shuō míng yǔ yì xué |
|---|---|
| 拼音字母 | shuo ming yu yi xue |
| 首字母 | smyyx |
| 注音 | ㄕㄨㄛ ㄇㄧㄥˊ ㄩˇ ㄧˋ ㄒㄩㄝˊ |
| 注音符号 | ㄕㄨㄛ ㄇㄧㄥ ㄩ ㄧ ㄒㄩㄝ |