first-order dynamic logic

基本释义

[计] 一阶动态逻辑
first-order dynamic logic单词图解，单词释义场景配图
0 次浏览