请输入您要查询的英文单词:
单词
Barth system
释义
Barth system
简明释义
巴特制
双语例句
1
The tool Mr
Barth
is employing to effect this transition is linear temporal logic, a
system
of mathematical logic that can express detailed constraints on the past and the future.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
随便看
deviatoric stress
deviatoric stress tensor
deviatoric tensor of strain
deviatoric tensor of stress
deviator
deviator stress
deviatory
devic
Devic disease
device
device access
device acknowledge
device adapter
device adapter interface
device adapter multiplexer port
device address
device address dispositif
device administrator
device agent program
device agnostic
device-agnostic
device allocation
device allocation routine
device and default selection
device and media control language
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/18 17:08:16