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