英语词汇first-order dynamic logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	first-order dynamic logic
释义	first-order dynamic logic 简明释义一阶动态逻辑网络释义短语 1 first order dynamic logic 一级动态逻辑双语例句 1 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逻辑模型。
随便看	barometer level barometer-makers' disease barometer methods barometer observation barometer of business cycle forecasting barometer pressure barometer reading barometer reduction barometers barometer scale barometer securities barometer sounder barometer stock barometer stock barometer stocks barometer testing instrument barometer tube barometre barometre barometric barometrical barometrical altimeter barometrical altimetry barometrical altitude barometrical levelling

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。