propositional dynamic logic

基本释义

[计] 命题动态逻辑
propositional dynamic logic单词图解，单词释义场景配图
1 次浏览