请输入您要查询的英文单词:
单词
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.
巴斯先生用来实现这一转化过程的工具是线性时序逻辑,一种可以表达过去和未来的详细约束的数理逻辑系统。
随便看
road accident
road accident
road adhesion
roadagent
road agent
road agent
road agent
road ahead
road, airfield
road alignment
road anchorage
road and railroad crossing
road and traffic
road antiknock performance
road apple
road apples
road appreciation
road approach
road area per capita
road area ratio
road asphalt
road asphalt liquid
road asphalt tar or oil
road atlas
road-at-night
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。
Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2025/3/19 12:54:18