请输入您要查询的英文单词:
单词
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逻辑模型。
随便看
sungrazer
sungrazer
sungrazing
Sungrazing comet
sungrebe
sungrebe
sun-grebe
sun grown coffee
sungs
sung's
Sungsang
Sungu
sungulite
sun gun
Sungurlare
Sungurlu
Sun.
sun hat
sunhat
sun-hat
sunhats
sun-hat
sun hat
sunheat
sun-heat
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/24 16:53:17