零六五六深蓝词典
简体
繁體
搜索
many-sorted propositional dynamic logic
M 开头单词
基本解释
[計算機科學技術]多類命題動態邏輯
专业释义
計算機科學技術
多類命題動態邏輯
上一篇
下一篇