魏碑心思朗文詞典
簡體
繁體
搜索
many-sorted propositional dynamic logic
M 開頭單詞
基本解釋
[計算機科學技術]多類命題動態(tài)邏輯
專業(yè)釋義
計算機科學技術
多類命題動態(tài)邏輯
上一篇
下一篇