请输入您要查询的英文单词:
单词
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逻辑模型。
随便看
fully integrated control system
fully integrated digital network
ground-based electro-optical deep space surveillance
ground-based ionosonde
ground-based lidar
ground-based medical monitoring station
ground-based missile
ground-based navigation
ground based navigation
ground based navigation aid
ground-based navigation aid
ground-based navigational system
ground based observation
ground-based observation
ground-based optical receiver
ground based radar
ground-based radar
ground-based rader
ground based repeater
ground based scanning
ground based spraying
ground-based system
ground-based terminal
ground based terminal
ground-based traffic control
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/20 21:51:03