英语词汇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逻辑模型。
随便看	Acute on chronic respiratory failure acute onset acute onset vascular dementia Acute oophoritis acute ophthalmoplegia acute optic axial angle acute optic neuritis acute oral acute oral lethal dose acute oral toxicity acute orchitis acute organic brain syndrome acute osteitis acute osteomyelitis Acute osteomyelitis of cranium acute osteomyelitis of jaw Acute osteomyelitis of multiple sites Acute osteomyelitis of pelvic region Acute osteomyelitis of skull Acute osteomyelitis of thigh Acute osteomyelitis of upper arm Acute osteonecrosis acute otitis externa acute otitis media acute otitis media with effusion

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