请输入您要查询的英文单词:
单词
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逻辑模型。
随便看
J.
JH
JHA
Jhabua
jhabvala
jhai
Jha Jha
Jhajjar
Jhal
jhala
Jhalawar
jhalfrezi
Jhalida
jhally
Jhalokati District
Jhalrapatan
jhana
jhane
Jhansi
Jhao
jhapan
jhapara
Jharia
jharkand
Jharkhand
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/8/20 21:44:18