first order dynamic logic的意思|示意

美 / / 英 / /

一阶动态逻辑

first order dynamic logic的网络常见释义

一级动态逻辑 ... 一阶绕射束 first order diffraction beam 一级动态逻辑 first order dynamic logic 一阶表式 first order expression ...

first order dynamic logic相关短语

1、 first-order dynamic logic 翻译

first order dynamic logic相关例句

In order to formalize and verify the protocol, BZL logic model is built, which based on first-order logic and introduces many-sorted, dynamic and non-monotony logic.

为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。