first-order dynamic logic

[first-order dynamic logic]
[first-order dynamic logic]

中文释义

[计] 一阶动态逻辑

单词分析

单词结构:

first-order dynamic logic

字母数:25

记忆提示

🎯 重点记忆:

  • 单词拼写:first-order dynamic logic
  • 核心含义:[计] 一阶动态逻辑