请输入您要查询的英文单词:
单词
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
随便看
sequential program
sequential program development paradigm
sequential programme
sequential programming
sequential programming system
sequential propagation algorithm
sequential propeller sequential
sequential pulse
sequential pyrolysis
sequential quadratic programming
sequential queue
sequential radiograph
sequential random access
sequential range gating technique
sequential raster
sequential ratio probability test
sequential reaction
sequential read
sequential read
sequential recall
sequential reception
sequential reclosing
sequential recognition
sequential record
sequential redundant access
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/19 15:37:51