请输入您要查询的英文单词:
单词
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条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/16 8:15:36