请输入您要查询的英文单词:
单词
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
随便看
transaction cycle
transaction data
transaction data processing
transaction data set
Transaction Date
transaction demand
transaction description
transaction detail record
transaction diagram
transaction dimension
transaction display
transaction distribution system
transaction-driven
transaction driven system
transaction driven system
transaction eligible for clearing
transaction encryption facility
transaction environment
transaction equation
transaction execution flow
transaction exposure
transaction facility
transaction failure
transaction fee
Transaction Fees
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/18 23:42:50