- 重点词汇
- 相关例句
1、
2、
3、
4、
5、
6、
7、
8、
9、
10、
11、
12、
13、
14、
15、
16、
并阐明了使用BZH－1中和缓蚀剂的作用原理和良好效果。
互联网摘选
17、
为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了BZL逻辑模型。
互联网摘选
18、
The protocol proves strong by using the factual system and being verified by the BZL logic.
通过在电子交易系统的实际应用和BZL逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
互联网摘选
19、
温斯顿·丘吉尔一收到信，便给参谋长伊斯梅将军传达了一份备忘录：
互联网摘选
20、
Ismay显然是让所有的人都上船，但是，由于大家都不认得他，谁也没把他当回事。
互联网摘选
