沉淀汉英词典
简体
繁體
搜索
many-sorted propositional dynamic logic
M 开头单词
基本解释
[计算机科学技术]多类命题动态逻辑
专业释义
计算机科学技术
多类命题动态逻辑
上一篇
下一篇